From a9e234a7aacb106af4d0d69a498f1cbebbbc0ce5 Mon Sep 17 00:00:00 2001 From: Ulf Norell Date: Fri, 25 Nov 2016 08:34:30 +0100 Subject: [PATCH] [ #2311 ] changelog for 2.5.1.2 [ci skip] --- CHANGELOG | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CHANGELOG b/CHANGELOG index 62f23153008..3a42d11b497 100644 --- 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 ------------------------------------------------------------------------