From 528d829ed1a4b723d8eb614331b25daa86d668dd Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Mon, 23 Nov 2015 18:50:04 +0100 Subject: [PATCH] Add Change line --- Changes | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Changes b/Changes index 45828a63b..2b61145af 100644 --- a/Changes +++ b/Changes @@ -128,6 +128,8 @@ Compilers: - GPR#282: relax short-paths safety check in presence of module aliases, take penalty into account while building the printing map. (Thomas Refis, Leo White) +- GPR#306: Instrument the compiler to debug performance regressions + (Pierre Chambart) - PR#6920: fix debug informations around uses of %apply or %revapply (Jérémie Dimino)