Merge branch 'maint-0.4.1'

2024-12-06 19:41:15 +01:00 · 2019-06-11 11:30:05 -04:00
parent 3405a311da ea14fb136c
commit 35dd2d733b
3 changed files with 15 additions and 1 deletions
@@ -0,0 +1,5 @@
+  o Minor features (logging):
+    - Give a more useful assertion failure message if we think we have
+      minherit() but we fail to make a region non-inheritable. Give a
+      compile-time warning if our support for minherit() is
+      incomplete. Closes ticket 30686.