Your message dated Sat, 05 Apr 2025 11:47:07 +0300
with message-id <864iz3xaes.fsf@gnu.org>
and subject line Re: bug#77173: [PATCH] Instruct users to use customize or setopt for user options that have :set-er
has caused the debbugs.gnu.org bug report #77173,
regarding [PATCH] Instruct users to use customize or setopt for user options that have :set-er
to be marked as done.

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


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