Hi,
On 2023-04-07 23:11:55 +0200, Alvaro Herrera wrote:
> On 2023-Apr-07, Andres Freund wrote:
>
> > I just pushed a fix - sorry, I thought you might have stopped working for the
> > day and CI finished with the modification a few seconds before your email
> > arrived...
>
> Ah, cool, no worries. I would have stopped indeed, but I had to stay
> around in case of any test failures.
Looks like there's work for you if you want ;)
https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=rhinoceros&dt=2023-04-07%2018%3A52%3A13
But IMO fixing sepgsql can easily wait till tomorrow.
Greetings,
Andres Freund