Santiago Torres <santi...@nyu.edu> writes: >> Squashing the following into this commit solves this issue with the >> former approach. The lines it touches are all from 4/6 and I view >> all of it as general improvement, including type correctness and >> code formatting. > > Thanks! > > Should I re-roll this really quick? Or would you rather apply this on > your tree directly?
Nah, local squashing should be sufficient in this case. The squash only touches a single patch from the original and it itself is easy to review (and was reviewed already from what I can tell in this thread).
