diff options
Diffstat (limited to 'changes/further-12184-diagnostic')
| -rw-r--r-- | changes/further-12184-diagnostic | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/changes/further-12184-diagnostic b/changes/further-12184-diagnostic deleted file mode 100644 index 89e9f4612f..0000000000 --- a/changes/further-12184-diagnostic +++ /dev/null @@ -1,2 +0,0 @@ - o Minor features (diagnostic): - - Slightly enhance the diagnostic message for bug 12184. |