+1, but minor nitpick: I'd move whitespace fixes to a separate commit named something like "[trivial] whitespace fixes, noop"
« Back to merge proposal
+1, but minor nitpick: I'd move whitespace fixes to a separate commit named something like "[trivial] whitespace fixes, noop"