On Fri, Sep 14, 2018 at 10:29 PM Amit Langote
<Langote_Amit_f8@lab.ntt.co.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