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 <[email protected]> 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. [email protected] "...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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
