Fwd: Deciding new arm EABI port name

[Martin Guy]

> > variants (there is a list at popcorn.debian.org) and to future-proof
>                                     ^
> There's movies there, too? ;-)

Oh, bum!  I mean popcon.debian.org

    M