On Thu, 20 Dec 2018 09:59:13 +0200Mike Rapoport <rppt@linux.ibm.com> wrote:> ping?Sorry, been traveling, and I still don't really know what to do withpatches that are more mm/ than Documentation/. I've just applied these,though.Thanks,jon