[bugfix] is_unique gave a broadcast error, instead of returning false for non-unique data
Description
Description
Details
Details
- Committed
tdegeus Aug 18 2022, 09:00 - Parents
- rGOOSEFEM94dcaf3bb1ac: [docs] Using "furo" sphinx theme
- Branches
- Unknown
- Tags