On Thu, 17 Nov 2016 11:19:43 +0100
Daniel Vetter <daniel.vet...@ffwll.ch> wrote:

> We don't just need better doc toolchains, we also need better docs for
> our doc toolchain!

Indeed.  Applied, thanks.

jon

Reply via email to