On 4/5/2013 11:17 AM, Iain Buclaw wrote: > > > I've got a fix in the frontend for this, and it looks to not affect anything > in the testsuite at least. Is it worth pushing this in for a review? > Please file this as a bugzilla issue, and then do a pull request with the fix.