I wrote:
> Yup; the attached fixes it. Will push after a bit more testing.
Done now, but I forgot to credit Jeff in the commit message.
My apologies for that (too bad it's impossible to edit commit
messages after the fact).
regards, tom lane
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера