Your message dated Thu, 06 Oct 2022 00:04:53 +0200 with message-id <87edvmorju.fsf_-_@gnu.org> and subject line Re: bug#58223: [PATCH 0/1] dhclient record configuration has caused the debbugs.gnu.org bug report #58223, regarding [PATCH 0/1] dhclient record configuration to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 58223: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58223 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems