Your message dated Fri, 26 May 2023 00:42:07 +0000
with message-id <929fd5b85e9b3eb3d2f96c0abc6477df44442f08.camel@posteo.net>
and subject line Re: [bug#63542] [PATCH v2 00/20]: Cover review points.
has caused the debbugs.gnu.org bug report #63542,
regarding [PATCH 00/19]: gnu: astronomy: May updates.
to be marked as done.

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


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