Your message dated Sat, 22 Feb 2020 01:00:23 +0100 with message-id <87o8trze20.fsf@gnu.org> and subject line Re: bug#39725: /gnu/store/.links: base16 or base32? has caused the debbugs.gnu.org bug report #39725, regarding /gnu/store/.links: base16 or base32? to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 39725: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39725 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems