On Nov 9, 2013, at 2:00 AM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > Fix formatting and remove some spurious differences with trunk > (some of which are ordering rather than formatting, but it didn't > seem worth separating them out).
> Applied as obvious (I hope). I reviewed it, looks good.
