Clarify wording regarding uniqueness of collection IDs#1209

Merged

m-mohr merged 2 commits intodevfrom unique-collection-ids

Feb 1, 2023

+8-4

Commits on Jan 9, 2023

Clarified that collection IDs should be unique across all collections in the corresponding root catalog.
m-mohr
committed

Commits on Feb 1, 2023

Merge branch 'dev' into unique-collection-ids
m-mohr
authored