fix: allow object options to share the same label#217
Merged
janosh merged 3 commits intojanosh:mainfrom Mar 25, 2023
GauBen:patch-1
Merged
fix: allow object options to share the same label#217janosh merged 3 commits intojanosh:mainfrom GauBen:patch-1
janosh merged 3 commits intojanosh:mainfrom
GauBen:patch-1