Closed chrisn closed 1 year ago
Thanks, I have pushed an update to clarify this.
Are we ready to merge this one?
I think so, @padenot is this OK from your perspective?
@padenot I'd like to merge this, as we now have incoming proposals to add to the registry. Thanks!
Sure, sorry for missing this, go ahead!
Following the discussion in #559, this PR covers further changes to adding, changing, and deprecating registry entries.