Your message dated Tue, 20 Nov 2018 13:44:12 +0100 with message-id <87h8gbzzoj.fsf@gnu.org> and subject line Re: bug#32583: Cuirass: some builds are marked as failed, but they were never built has caused the debbugs.gnu.org bug report #32583, regarding Cuirass: some builds are marked as failed, but they were never built to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 32583: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32583 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems