You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
config: Drop redundant "unique within this map" annotation requirement
This condition landed in 27a05de (Add text about extensions,
2016-06-26, #510) with subsequent wording tweaks in 3f0440b
(config.md: add empty limit for key of annotations, Dec 28 10:35:19
2016, #645) and 2c8feeb (config: Bring "unique... within this map"
back together, 2017-01-12, #654). However, since eeaccfa (glossary:
Make objects explicitly unordered and forbid duplicate names,
2016-09-27, #584) we forbid duplicate keys on *all* objects (not just
annotations), so this PR removes the redundant annotation-specific
condition.
Signed-off-by: W. Trevor King <[email protected]>
0 commit comments