Skip to content

Bumped Rascal dependency to 0.41.2#97

Merged
rodinaarssen merged 1 commit into
mainfrom
rascal-0.41.2
Dec 16, 2025
Merged

Bumped Rascal dependency to 0.41.2#97
rodinaarssen merged 1 commit into
mainfrom
rascal-0.41.2

Bumped Rascal dependency to 0.41.2

dd39617
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar