Your message dated Thu, 05 Jun 2025 17:18:31 +0300
with message-id <86h60umfuw.fsf@gnu.org>
and subject line Re: bug#78694: 31.0.50; Update docstring of play-sound
has caused the debbugs.gnu.org bug report #78694,
regarding 31.0.50; Update docstring of play-sound
to be marked as done.

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


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