diff options
Diffstat (limited to 'changes/bug11737_diagnostic')
-rw-r--r-- | changes/bug11737_diagnostic | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/changes/bug11737_diagnostic b/changes/bug11737_diagnostic new file mode 100644 index 000000000..62e7a4a78 --- /dev/null +++ b/changes/bug11737_diagnostic @@ -0,0 +1,5 @@ + o Minor features (diagnostic): + - When logging a warning because of bug #7164, additionally check the + hash table for consistency (as proposed on ticket #11737). This may + help diagnose bug #7164. + |