Your message dated Sat, 18 Nov 2017 13:07:38 +0200 with message-id <83tvxrg805.fsf@gnu.org> and subject line Re: bug#29254: 24.4; Unexpected case-folding in occur when case-fold-search set has caused the debbugs.gnu.org bug report #29254, regarding 24.4; Unexpected case-folding in occur when case-fold-search set to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 29254: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29254 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems