Commit aeed7d5

authored and

committed

Tidy up CHANGELOG in preparation for release candidate (agda#2165)

1 parent eb5f308 commit aeed7d5Copy full SHA for aeed7d5

1 file changed

+1483

-1668

lines changed

CHANGELOG.md

1 file changed

+1483

-1668

lines changed

Comments

(0)