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
