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 Guix System's PS1 does not set the terminal title
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