Mark the "Remove feature-exists" proposal as accepted (#3828)

This commit is contained in:
Christophe Coevoet 2024-04-09 00:34:52 +02:00 committed by GitHub
parent ede7f25c8e
commit 7641a7eccd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194