Your message dated Tue, 09 Aug 2022 11:42:23 +0200
with message-id <87mtcd92io.fsf@gnu.org>
and subject line Re: bug#56898: [PATCH 00/13] Put the pretty printer to good use
has caused the debbugs.gnu.org bug report #56898,
regarding [PATCH 00/13] Put the pretty printer to good use
to be marked as done.

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


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