Your message dated Sun, 12 Feb 2023 01:52:36 +0100 with message-id <87y1p3ln6z.fsf@gnu.org> and subject line Re: bug#57501: call-with-file-lock does not remove lock file has caused the debbugs.gnu.org bug report #57501, regarding call-with-file-lock does not remove lock file to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 57501: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=57501 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems