Robert Haas <robertmh...@gmail.com> writes: > Cool, thanks to both of you for looking. Committed.
Hmph, according to whelk this is worse not better: https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=whelk&dt=2020-09-18%2017%3A42%3A11 I'm at a loss to understand what's going on there. regards, tom lane