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/
