-
Notifications
You must be signed in to change notification settings - Fork 11
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
What happens to deprecated/removed entries? #96
Comments
I can draft a PR for this in the next day or two. I don't think it needs a ton of discussion, so we can put together a draft and argue about it. |
In an early stage nothing special, but at some point deprecated/removed entries should have their IDs "reserved" so they're not reused. Otherwise someone who earlier claimed to meet something might suddenly be misunderstood as doing something else. |
Agree whatever we use to tombstone them it should also signal any automation that the control is gone. |
Does anyone know how this has been done well elsewhere? Perhaps we could clear all the keys except for |
Mentioned by @eddie-knight in issue 88:
The text was updated successfully, but these errors were encountered: