Your message dated Fri, 16 May 2025 22:02:36 +0900
with message-id <87cyc8hfo3.fsf@gmail.com>
and subject line Re: [bug#78137] [PATCH electronics-team] gnu: gtkwave: Update to 3.4.0-0.bb978d9.
has caused the debbugs.gnu.org bug report #78137,
regarding [PATCH electronics-team] gnu: gtkwave: Update to 3.4.0-0.bb978d9.
to be marked as done.

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


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