From e88e3fbaa61bcaa6736f34b2e7a7fcce4b2b90ff Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Tue, 30 Jan 2018 18:07:12 +0100 Subject: [PATCH] Changes --- Changes | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Changes b/Changes index 9fa74174b72d..9a6ca331f73e 100644 --- a/Changes +++ b/Changes @@ -53,6 +53,10 @@ Working version first character (instead of comma) in the set ":|; ," (Fabrice Le Fessant) +- GPR#1391 MPR#7645 MPR#3922: Add an early error when compiling different + modules with mismatching -for-pack + (Pierre Chambart, review by Mark Shinwell) + - GPR#1428: give a non dummy location for warning 49 (no cmi found) (Valentin Gatien-Baron)