Your message dated Thu, 27 Feb 2025 22:15:09 +0000 with message-id and subject line Re: bug#72915: Docstrings of add-hook and remove-hook improvement? has caused the debbugs.gnu.org bug report #72915, regarding Docstrings of add-hook and remove-hook improvement? to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 72915: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72915 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems