On Sat, Jun 25, 2016 at 11:34 PM, Noam Postavsky wrote: > Updated patch to remove that sentence. I messed up the patch (the change got combined with unrelated commit). Here's a corrected one.