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