Add CHANGES note for [GL #3515]

diff --git a/CHANGES b/CHANGES
index 42ddc6731c21f1b173934b85f415432a524ff856..0ebcbb6de89bbcbd70d5abe2d4723504d952adb0 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]