From c989c820fbca286cf6dcd05dc6031ffa24e39232 Mon Sep 17 00:00:00 2001 From: Jacques Garrigue Date: Tue, 1 Mar 2016 09:30:35 +0900 Subject: Fix PR#7113: -safe-string can break GADT compatibility check --- Changes | 1 + 1 file changed, 1 insertion(+) (limited to 'Changes') diff --git a/Changes b/Changes index 37d6941ac7..db780c0b06 100644 --- a/Changes +++ b/Changes @@ -458,6 +458,7 @@ Bug fixes: - PR#7108: ocamldoc, have -html preserve custom/extended html generators (Armaël Guéneau) - PR#7096: ocamldoc uses an incorrect subscript/superscript style +- PR#7113: -safe-string can break GADT compatibility check - PR#7115: shadowing in a branch of a GADT match breaks unused variable warning (Alain Frisch, report by Valentin Gatien-Baron) - PR#7133: Jump labels in assembly end up as symbols in the executable on OS X -- cgit v1.2.1