An error occurred while fetching folder content.
linting: when no is said to a file, remove all corresponding entries
Benno Schulenberg authored
When the user chooses not to open a file that some message refers to,
remove all messages for that file from the linting results, so the user
does not get asked about that same file again.

This fixes https://savannah.gnu.org/bugs/?47130.
dab70d06
Name Last commit Last update
..