On 2017-08-28 11:19, John Paul Adrian Glaubitz wrote: > Aren't most RPi users running Raspian anyway which is armhf with -march > set to ARMv6?
Right, most RPi users run Raspbian, but there are also people - like me :~) - who prefer to run "pure" Debian, even at the cost of a performance penalty (in case of RPi 1 or Zero). I imagine, you know (and share) reasons to prefer Debian. Cheers
signature.asc
Description: PGP signature
