On 10 July 2015 at 19:16, Lang Hames <lhames at gmail.com> wrote: > Hi Renato, > > I'm also seeing a similar failure on gramschmidt. Could you fix or revert > this there too? Sorry! Done, r241982. cheers, --renato