* Axel Beckert <a...@debian.org> [2016-12-11 21:22]:
> While neither the wontfix tag nor the proposed per-user solution
> ('CORRECT_IGNORE="_*|rm"'), I just wanted to note that there was

Thanks for your update.  I actually never saw the email about
CORRECT_IGNORE because it wasn't sent to me (only to the bug).

The CORRECT_IGNORE solution works for me.

BTW, I see this bug is tagged as wontfix.  If the maintainers want to
close the bug report, that's fine with me.

-- 
Martin Michlmayr
http://www.cyrius.com/

Reply via email to