message no. 115958
Posted by halabund in #github at 2015-10-13T08:40:27Z
_rgn: is editing commits like this what people typically do in pull requests? I would be much easier (but also uglier) to just add a fourth commit fixing the problem ...