Your message dated Tue, 16 Feb 2021 09:42:57 +0100
with message-id <87h7mco12m.fsf@yamatai>
and subject line Re: [bug#46547] [PATCH 2/2]: gnu: Add seedable-rng cl-pcg
has caused the debbugs.gnu.org bug report #46547,
regarding [PATCH 2/2]: gnu: Add seedable-rng cl-pcg
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
46547: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46547
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems