Your message dated Mon, 31 Jan 2022 21:27:59 -0500
with message-id <878ruvl3rk.fsf@gmail.com>
and subject line Re: bug#42175: "pulseaudio? #f" setting does not prevent pulseaudio from autostarting
has caused the debbugs.gnu.org bug report #42175,
regarding "pulseaudio? #f" setting does not prevent pulseaudio from autostarting
to be marked as done.

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


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