On Tue, Jan 13, 2015 at 10:17:16AM +0100, Christian PERRIER wrote: > >grub-installer (1.105) UNRELEASED; urgency=medium > > * Add support for mixed EFI systems: 64-bit Linux running on top of > 32-bit UEFI. > > -- Steve McIntyre <93...@debian.org> Sat, 10 Jan 2014 04:35:13 +0000
I'm happy for this to go, and was just about to ask other folks myself... :-) -- Steve McIntyre, Cambridge, UK. st...@einval.com "...In the UNIX world, people tend to interpret `non-technical user' as meaning someone who's only ever written one device driver." -- Daniel Pead -- To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150113234825.gy21...@einval.com