Your message dated Thu, 20 Feb 2025 23:55:54 +0100 with message-id <87wmdkdy4l.fsf@gnu.org> and subject line Re: [bug#76435] [PATCH] Shepherd: build: Improve man-page synopsis. has caused the debbugs.gnu.org bug report #76435, regarding [PATCH] Shepherd: build: Improve man-page synopsis. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 76435: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76435 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems