diff options
Diffstat (limited to 'doc/whatsnew/fragments/8280.false_negative')
-rw-r--r-- | doc/whatsnew/fragments/8280.false_negative | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/whatsnew/fragments/8280.false_negative b/doc/whatsnew/fragments/8280.false_negative deleted file mode 100644 index 848b71d7c..000000000 --- a/doc/whatsnew/fragments/8280.false_negative +++ /dev/null @@ -1,3 +0,0 @@ -Fix false negative for inconsistent-returns with while-loops. - -Closes #8280 |