Your message dated Mon, 26 May 2025 22:18:00 +0900
with message-id <875xhnh5o7.fsf_-_@gmail.com>
and subject line Re: bug#72172: Text is missing from main title bar and tabs in Gnome Console
has caused the debbugs.gnu.org bug report #35424,
regarding Text is missing from main title bar and tabs in Gnome Console
to be marked as done.

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


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