On 2022-03-04 20:06:43 -0800, Andres Freund wrote: > On 2022-03-05 16:39:21 +1300, Thomas Munro wrote: > > I vote for committing that workaround into the tree temporarily, > > because it's not just cfbot, it's also everyone's dev branches on > > Github + the official mirror that are red. > > I'll do so after making dinner, unless you want to do so sooner. It did fix > the problem (intermixed with a few irrelevant changes): > https://cirrus-ci.com/task/4928987829895168
Pushed.
