Your message dated Thu, 23 Sep 2021 19:12:30 +0200 with message-id and subject line bug#50764: Fix (string-distance "" "") edge-case has caused the debbugs.gnu.org bug report #50764, regarding Fix (string-distance "" "") edge-case to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 50764: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50764 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems