On Thu, Jun 29, 2017 at 6:21 AM, Andrew Gierth
<andrew@tao11.riddles.org.uk> wrote:
> Commits pushed.
Great news. Thanks for stepping up to get this committed. Thanks a
lot also to Marko, Amit L, Kevin, Robert, Noah and Peter G for the
problem reports, reviews and issue chasing.
--
Thomas Munro
http://www.enterprisedb.com