On 2016-04-23 10:12:12 +1200, Thomas Munro wrote:
> What is the policy for that kind of thing -- do nothing until someone
> cares enough about the platform to supply a buildfarm animal?
I think we should fix it, I just want to make sure we understand why the
error is appearing now. Since we now do...
- Andres