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
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