Add CHANGES note for [GL #3515]

(cherry picked from commit 362ead8d85ade3923aaa0346bf7443c811c22bb7)

diff --git a/CHANGES b/CHANGES
index 58a84055f4262e104d2786c14c90e7ca4c654db5..37be7d3858af790de54b76b36779406b86094bb8 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,8 @@
+5953.  [bug]           Fix a crash on shutdown in delete_trace_entry(). Add
+                       mctx attach/detach pair to make sure that the memory
+                       context used by a memory pool is not destroyed before
+                       the memory pool itself. [GL #3515]
+
 5952.  [bug]           Use quotes around address strings in YAML output.
                        [GL #3511]