Fixes #531.
Was already merged in Bitbucket before import, marked as merged by the import user
Done by updating the dependency to JavaHg, in which the actual code change is.
This instance will be upgraded to Heptapod 18.0.1 on 2025-07-10 between 14:00 and 15:00 UTC+2
Was already merged in Bitbucket before import, marked as merged by the import user
Done by updating the dependency to JavaHg, in which the actual code change is.