2 commits

Author	SHA1	Message	Date
Steven Perron	33c7e30860	Don't emit duplicate decorations. (#3635) ... It is invalid if the same decoration is applied to the same id multiple times. This adds a check before adding a decoration that the decoration is not already in the list. If it is, then the duplicate is not added. Fixes #3627	2024-06-28 19:16:59 -04:00
Maciej	d604f26843	Add test	2023-02-02 16:33:32 -07:00