Your message dated Sun, 26 Jun 2022 17:13:16 +0200
with message-id <2773a9193b3a7fd8a35a151ef299c031b87f6ae4.camel@gmail.com>
and subject line Re: [PATCH] gnu: Add some gnome extensions
has caused the debbugs.gnu.org bug report #56128,
regarding [PATCH] gnu: Add some gnome extensions
to be marked as done.

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


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