bug#37851: bug#25305: bug#37851: Grub installation only checks for encrypted /boot folder

[Ludovic Courtès]

Hi,

Miguel Ángel Arruga Vivas <rosen644...@gmail.com> skribis:

> Pushed to master as f00e68ace0 with these changes, after running the
> tests and booting up my system.

Woohoo, thank you!

Ludo’.