Your message dated Tue, 05 Dec 2023 09:26:14 +0000 with message-id <87jzpt3sm8.fsf@kitej> and subject line Re: ecl-cl-pcg fails to build due to a flaky test (was: Re: bug#67042: ecl-seedable-rng recently broken) has caused the debbugs.gnu.org bug report #67042, regarding ecl-cl-pcg fails to build due to a flaky test to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 67042: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67042 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems