On Tue, Jul 9, 2019 at 5:40 PM Lucas Viecelli <lviecelli...@gmail.com> wrote: > Follow the correct file, I added the wrong patch in the previous email
New status: Ready for Committer. If nobody wants to bikeshed the wording or other details, I will commit this tomorrow. -- Thomas Munro https://enterprisedb.com