diff options
Diffstat (limited to 'doc/whatsnew/fragments/6242.bugfix')
-rw-r--r-- | doc/whatsnew/fragments/6242.bugfix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/whatsnew/fragments/6242.bugfix b/doc/whatsnew/fragments/6242.bugfix deleted file mode 100644 index 25d323e7e..000000000 --- a/doc/whatsnew/fragments/6242.bugfix +++ /dev/null @@ -1,4 +0,0 @@ -Pylint will now filter duplicates given to it before linting. The output should -be the same whether a file is given/discovered multiple times or not. - -Closes #6242, #4053 |