Your message dated Sun, 25 Jun 2023 08:21:00 +0200
with message-id <023534e0fb2f3bb214979aff9adb0e78e470ebb4.camel@gmail.com>
and subject line Re: [PATCH gnome-team v4 4/4] gnu: shared-mime-info: Add doc output.
has caused the debbugs.gnu.org bug report #60826,
regarding [PATCH staging] gnu: shared-mime-info: Update to 2.2.
to be marked as done.

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


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