On Fri, Sep 14, 2018 at 10:29 PM Amit Langote
<Langote_Amit_f8(at)lab(dot)ntt(dot)co(dot)jp> wrote:
> Attached is what I have at the moment.
I realise this is a WIP but FYI the docs don't build (you removed a
<note> element that is still needed, when removing a paragraph).
--
Thomas Munro
http://www.enterprisedb.com