[ #2311 ] changelog for 2.5.1.2

[ci skip]
agda · Nov 25, 2016 · a9e234a · a9e234a
1 parent 5114726
commit a9e234a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,3 +1,10 @@
+------------------------------------------------------------------------
+-- Release notes for Agda version 2.5.1.2
+------------------------------------------------------------------------
+
+* Fixed broken type signatures that were incorrectly accepted due to
+  GHC #12784 (https://ghc.haskell.org/trac/ghc/ticket/12784).
+
 ------------------------------------------------------------------------
 -- Release notes for Agda version 2.5.1.1
 ------------------------------------------------------------------------