On Sat, May 11, 2019 at 11:47:42AM -0700, Peter Geoghegan wrote: > On Sat, May 11, 2019 at 11:02 AM Bruce Momjian <[email protected]> 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 <[email protected]> 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 +
