馃悰 Default namespace only for namespaced object #2480
Merged
GitHub Actions / PR Type
succeeded
Sep 9, 2023 in 0s
PR Type in Title
Found 馃悰 PR (bugfix)
Details
Final title:
Default namespace only for namespaced object