On Sat, Jul 18, 2020 at 7:36 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
> I wonder whether skink's failure today is due to this change:
>
> https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=skink&dt=2020-07-18%2018%3A01%3A10
That seems extremely likely. I think that I need to do something like
what you see in the attached.
Anyway, I'll take care of it tomorrow. Sorry for missing it before my commit.
--
Peter Geoghegan