On Tue, May 1, 2018 at 9:39 AM Nadav Amit <[email protected]> wrote:

> Would it be reasonable to remove new-lines in such cases?

Yeah, that may be fine for some of our (already illegible) section crud.

                 Linus

Reply via email to