On 08/28/2015 04:11 PM, Bhatu wrote: > Hi, > > @Johannes > Thanks for pointing out the issue and explanation. > > @Tobias > I'll try to implement your suggested algorithm over the weekend. I committed a fix in r246433. Best, Tobias