Your message dated Sun, 10 May 2020 17:22:49 +0000
with message-id <37b16189859b812f02c983cf28fa3371@waegenei.re>
and subject line Pushed [PATCH] gnu: kmod: Update to 27
has caused the debbugs.gnu.org bug report #40422,
regarding [PATCH] gnu: kmod: Update to 27.
to be marked as done.

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


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