Am 24.10.2016 um 17:00 schrieb Jani Nikula <jani.nikula@xxxxxxxxxxxxxxx>: > On Mon, 24 Oct 2016, Markus Heiser <markus.heiser@xxxxxxxxxxx> wrote: >> again, sorry for nitpicking, IMO a blank line after each list item >> would make it more readable. > > I think it's more important to agree on the high level changes in this > series. After a point it's more productive to just merge the series, and > distribute the small fixes among many developers instead of burdening > Mauro. I appreciate your attention to detail, and many of the issues > you've pointed out should be addressed, but IMO much of it can be done > post merge. Right ... I also realized (a bit late) that I should stop posting marginals ;-) ... found some more marginals and will send patches after the series is merged. @Mauro: Even if I had been to detailed, I want to say: thanks a lot for your work on this patch series, which brings linux documentation a huge step forward! -- Markus -- -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
