Make information on the deletion of a collection available in C API#6896
Merged
jedelbo merged 2 commits intonext-majorfrom Aug 16, 2023
Merged
Make information on the deletion of a collection available in C API#6896jedelbo merged 2 commits intonext-majorfrom
jedelbo merged 2 commits intonext-majorfrom