Skip to content

release 1.7.3 - #2132

Closed
andreasabel wants to merge 9 commits into
agda:release-1.7.3-basefrom
andreasabel:release-1.7.3
Closed

release 1.7.3#2132
andreasabel wants to merge 9 commits into
agda:release-1.7.3-basefrom
andreasabel:release-1.7.3

Add some aliases for forward compatibility with v2.0

44bd3be
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs