Merge pull request #2219 from idris-lang/ghc-7-10-changelog
Add GHC 7.10 compat to CHANGELOG
commite5ec497de85b7fff5766ab2aa043ae0adf39af96
authorNiklas Larsson <metaniklas@gmail.com>
dateThu 30 Apr 2015, 15:07 (11 years ago)
parenta244cd5b4dbebd
CHANGELOG+1
@@ -1,5 +1,6 @@
11New in 0.9.18:
22--------------
3+* GHC 7.10 compatibility
34* Add support for bundled toolchains.
45* Strings are now UTF8 encoded in the default back end
56* Idris source files are now assumed to be in UTF8, regardless of locale