On Sat, May 11, 2019 at 11:47:42AM -0700, Peter Geoghegan wrote:
> On Sat, May 11, 2019 at 11:02 AM Bruce Momjian <bruce@momjian.us> wrote:
> > OK, commit removed.
>
> You're mistaken -- nothing has been pushed to master in the last 3 hours.
I am not mistaken. I have removed it from my local copy, but have not
pushed it yet since I am adding links to the docs. It will be done
today.
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +
