git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Add fixes to changelog
commit
faf1d6727c2fdb169ab10a80181d1a46b7fde2b7
author
Niklas Larsson
<metaniklas@gmail.com>
date
Sat 29 Sep 2018, 12:18
(8 years ago)
parent
713ad66
1 file changed
+7
compare with master
unified
split
CHANGELOG.md
+7
CHANGELOG.md
+7
@@ -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
8
# New in 1.3.0
2
9
3
10
## Language updates
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list