On 2025-Dec-04, Mihail Nikalayeu wrote:
> Hello!
>
> Seems like it may be easily fixed (see attached patch).
Makes sense -- thanks, pushed.
> Bwt, is it possible to somehow run the whole buildfarm over some branch?
> Such way it will be possible to fix such issues much earlier (some of
> them catched by github CI, but not all).
Nope.
--
Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/