... BTW, shouldn't
https://commitfest.postgresql.org/42/3869/
now get closed as committed?

                        regards, tom lane


Reply via email to