Your message dated Mon, 21 Dec 2020 21:23:36 +0100
with message-id <87k0tazz5j.fsf@gmail.com>
and subject line Re: bug#37851: bug#25305: bug#37851: Grub installation only checks for encrypted /boot folder
has caused the debbugs.gnu.org bug report #25305,
regarding LUKS-encrypted root and unencrypted /boot with GuixSD 0.12.0
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
25305: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25305
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems