<div dir="ltr">Hi All,<div><br></div><div>    I&#39;d like to resolve this quickly but my favoured resolution will affect travis.  I want to rename build.linux32ARM to build.linux32ARMv6 and add build.linux32ARMv7.  s that ok with people?  Will the Travis maintainers be happy to build both?  We need READMEs that point out that the v6 builds are for Raspberry Pi and that v7 builds are for &quot;everywhere else&quot; (unless we can be more specific?).  Unless I hear a protest within the next two hours I will commit this change.  Is that OK?</div><div><br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>
</div></div>