On Sat, May 11, 2019 at 11:47:42AM -0700, Peter Geoghegan wrote: > On Sat, May 11, 2019 at 11:02 AM Bruce Momjian <br...@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 <br...@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 +
