Your message dated Thu, 05 Oct 2023 11:02:41 +0300 with message-id <83cyxt4hum.fsf@gnu.org> and subject line Re: bug#65713: compilation-next-error says: Moved past last error, even when none has caused the debbugs.gnu.org bug report #65713, regarding compilation-next-error says: Moved past last error, even when none to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 65713: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65713 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems