summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes4
1 files changed, 4 insertions, 0 deletions
diff --git a/Changes b/Changes
index d06efab452..53c40a5d53 100644
--- a/Changes
+++ b/Changes
@@ -78,6 +78,10 @@ Working version
- MPR#7668: -principal is broken with polymorphic variants
(Jacques Garrigue, report by Jun Furuse)
+- MPR#7682, GPR#1495: fix [@@unboxed] for records with 1 polymorphic field
+ (Alain Frisch, report by Stéphane Graham-Lengrand)
+
+
4.06 maintenance branch
-----------------------