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.
