Dragan Simic <dsimic@xxxxxxxxxxx> writes: > However, making the vertical whitespace a separator also follows > the Git's general approach of not wasting the vertical screen > space whenever possible, so taking the separator route is actually > better, if you agree. Of course. If the topic came from a contributor with a longer track record and used terminator semantics, I would have insisted to consider separator semantics a lot more strongly. With only two commits in this history of any tagged releases, you are getting a bit more lenient treatment ;-)