On Mon, Feb 11, 2019 at 10:33 AM Tom Lane <[email protected]> wrote: > Thomas Munro <[email protected]> writes: > > So I'll wait until after the release, and we'll have > > to live with the bug for another 3 months. > > Check. Please hold off committing until you see the release tags > appear, probably late Tuesday my time / Wednesday noonish yours.
Pushed. -- Thomas Munro http://www.enterprisedb.com
