This fixes #2598 if followed by an update of rascal-maven-plugin#2602
Merged
jurgenvinju merged 3 commits intomainfrom Jan 23, 2026
Merged
This fixes #2598 if followed by an update of rascal-maven-plugin#2602jurgenvinju merged 3 commits intomainfrom
jurgenvinju merged 3 commits intomainfrom