Changes

2018-03-15 10:35:56 +00:00 · 2018-03-15 10:35:56 +00:00 · 7175587c23
parent b7101be913
commit 7175587c23
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -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
 -----------------------