Your message dated Sat, 21 Mar 2020 15:29:52 +0100
with message-id <877dzdkcgv.fsf@gmail.com>
and subject line Re: [bug#40143] [PATCH] gnu: git: Return #t in install-man-pages phase.
has caused the debbugs.gnu.org bug report #40143,
regarding [PATCH] gnu: git: Return #t in install-man-pages phase.
to be marked as done.

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


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