On Mon, 3 Jul 2017 10:25:38 +0200 Daniel Vetter <daniel@xxxxxxxx> wrote: > Only now stumbled over the full thread, but the drm patch is already > queued up for at least 4.13 (Dave was out and all that). I guess we could > try to cherry-pick through stable. I kind of gave up on the 4.12 goal, at least for now. The number of complaints has not been huge - I suspect you're far from the only one who is not too worried about building PDFs...:) jon -- 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
