> On 2 Oct 2026, at 13:42, Christoph Berg <myon@debian.org> wrote:
> I would like start merging this next week so we still have some time before
> pgconf.eu to evaluate.
Having this in well before .eu sounds like a very good plan.
--
Daniel Gustafsson