Re: Can we fix or disable Travis CI?

[Dave Cottlehuber]

On 17 May 2013 18:34, Robert Newson <rnew...@apache.org> wrote:
> So that's a lot better now, except for R16 which we knew..

Did we? Mmm it shouldn't fail on that, did I miss some travis-specific
thingummie?

A+D