Skip to content

Bugfix: whitespace in object name#178

Merged
donatello merged 1 commit intominio:masterfrom
HJLebbink:bugfix/whitespace-in-object-name
Aug 11, 2025
Merged

Bugfix: whitespace in object name#178
donatello merged 1 commit intominio:masterfrom
HJLebbink:bugfix/whitespace-in-object-name

Commits