On Tue, Mar 19, 2019 at 9:01 PM Thomas Munro <thomas.mu...@gmail.com> wrote:
> I'd like to commit this soon.

Done, after some more comment adjustments.  Thanks Daniel and Graham
for your feedback!

-- 
Thomas Munro
https://enterprisedb.com

Reply via email to