Your message dated Wed, 19 Aug 2020 10:49:35 +0300 with message-id <20200819074935.GF10528@E5400> and subject line Re: bug#42910: libfive fails to build has caused the debbugs.gnu.org bug report #42910, regarding libfive fails to build to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 42910: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42910 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems