On Fri, Nov 1, 2013 at 10:33 AM, Alex Gaynor <notifications@github.com>wrote:

> I can send a follow up PR after this lands, if that's what you're saying?
>
> You can send one any time, and if you don't, I'll fix it.  I'm merely
suggesting the amount of churn that seems to be soon to be committed may
make it easier to wait a bit.  Or not, it's not going to make a big
difference either way, as it's not a hard merge conflict.  If keeping the
task in mind for another day is going to double up the context switching,
you can just submit it now if you feel that is best.