Your message dated Tue, 05 Dec 2023 18:42:26 +0100 with message-id and subject line Applied, closing has caused the debbugs.gnu.org bug report #67472, regarding [PATCH gnome-team] gnu: yelp: Update to 42.2. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 67472: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67472 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems