On Tue, Mar 19, 2019 at 9:01 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:> I'd like to commit this soon.
Done, after some more comment adjustments. Thanks Daniel and Grahamfor your feedback!
-- Thomas Munrohttps://enterprisedb.com