On Tue, Jul 2, 2019 at 12:17 AM Sergei Kornilov <s...@zsrv.org> wrote: > This change is discussed as open item for pg12. Seems we have nor objections > nor agreement. I attached updated version due merge conflict. > > > Per discussion started here: > > https://www.postgresql.org/message-id/CA%2BTgmoZWSLUjVcc9KBSVvbn%3DU5QRgW1O-MgUX0y5CnLZOA2qyQ%40mail.gmail.com
I took the liberty of setting this to "Ready for Committer" to see if we can get a decision one way or another and clear both a Commitfest item and a PG12 Open Item. No committer is signed up, but it looks like Amit L wrote the messages in question, Robert committed them, and David made arguments for AND against on the referenced thread, so I'm CCing them, and retreating to a safe distance. -- Thomas Munro https://enterprisedb.com
