Closed DavyLandman closed 9 months ago
This PR fixes #336
I think we should also see if we can fix the underlying bug reported in usethesource/rascal#1884. But this fix would make sure our users are not hit by this any longer.
Kudos, SonarCloud Quality Gate passed!
0 Bugs 0 Vulnerabilities 0 Security Hotspots 0 Code Smells
0.0% Coverage 0.0% Duplication
ok good workaround. when we fix it in rascal, this code still works as well. so we can clean up independently
This PR fixes #336
I think we should also see if we can fix the underlying bug reported in usethesource/rascal#1884. But this fix would make sure our users are not hit by this any longer.