From 7175587c23fd4eae21ac09a463f409a597831b84 Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Thu, 15 Mar 2018 10:35:56 +0000 Subject: [PATCH] Changes --- Changes | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Changes b/Changes index b9c4dfb7c..ae1bc15da 100644 --- a/Changes +++ b/Changes @@ -343,6 +343,10 @@ Working version which could result in some elements of Sys.argv being truncated in some cases. (Nicolás Ojeda Bär, review by Sébastien Hinderer) +- GPR#1661: more precise principality warning regarding record fields + disambiguation + (Thomas Refis, review by Leo White) + 4.06 maintenance branch -----------------------