Your message dated Wed, 02 Mar 2022 01:14:18 +0100 with message-id <832a5eb0efa3f1749912cf1e3aa61bd8@tobias.gr> and subject line Re: [bug#54217] [PATCH] gnu/local.mk: Fix typo introduced in 6693ff0569. has caused the debbugs.gnu.org bug report #54217, regarding [PATCH] gnu/local.mk: Fix typo introduced in 6693ff0569. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 54217: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=54217 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems