diff options
Diffstat (limited to 'changes/bug11737_diagnostic')
| -rw-r--r-- | changes/bug11737_diagnostic | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/changes/bug11737_diagnostic b/changes/bug11737_diagnostic deleted file mode 100644 index 62e7a4a787..0000000000 --- a/changes/bug11737_diagnostic +++ /dev/null @@ -1,5 +0,0 @@ - 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. - |