Re: [PATCH v2 0/7] doc build updates and terminology definitions

Alex BennÃe <> writes:

> Hi,
>
> This contains both my previously posted build system tweaks and an
> updated revision of the terminology patch I posted last week with a
> further patch to tighten up the language in the Notifications section.

Ping?

-- 
Alex BennÃe