On Sun, Jun 07, 2020 at 11:06:27AM -0400, Tom Lane wrote:
> The maintainer says he'll revert the change, so I suppose the
> buildfarm will go back to normal without extra effort on our part.
The buildfarm has moved back to a green state as of the moment I am
writing this email (see serinus for example).
--
Michael