Re: [PATCH v2 00/53] Get rid of Docbook
From: Jonathan Corbet
Date: Fri Jun 23 2017 - 16:27:03 EST
On Fri, 16 Jun 2017 16:03:23 +0200
Markus Heiser <markus.heiser@xxxxxxxxxxx> wrote:
> I guess there are little remains lying around ;) what I have found:
I just committed the following to clean up that stuff, thanks.
jon