Closed mrclauss closed 4 months ago
Fixes #75
Maybe not needed? https://github.com/isar-community/isar/pull/77#issuecomment-2096938499
Fixes #75