git.iko.soy/Idris-dev
on master help sign in
Add fixes to changelog
faf1d67Niklas Larsson
CHANGELOG.md+7
compare with master
unifiedsplit
@@ -1,3 +1,10 @@
1+# New in next release
2+
3+## Tool updates
4++ Fixes for building with GHC 8.6
5++ Fix for megaparsec update
6+
7+
1# New in 1.3.0
8# New in 1.3.0
2
9
3## Language updates
10## Language updates