Your message dated Thu, 04 May 2023 13:14:55 +0200
with message-id <87lei4s5zk.fsf@gnu.org>
and subject line Re: bug#63043: texlive-font-maps.drv build failure when profiles lacks texlive-* packages
has caused the debbugs.gnu.org bug report #63043,
regarding texlive-font-maps.drv build failure when profiles lacks texlive-* packages
to be marked as done.

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


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