Justin Pryzby <pryzby(at)telsasoft(dot)com> writes:> Not sure if Tom saw this yet.
Indeed, I'd not been paying attention. Fix looks good, pushed.
regards, tom lane