Marius Bakke Tue, 07 Apr 2020 07:56:27 -0700
GRUB builds successfully on armhf and aarch64 nowadays, so I'm closing this bug.
