Hi Christoph,
thank you a lot for taking the time to apply a workaround to address this issue.
This fixed our problems with the update.
Thanks again !!
Regards
Le ven. 14 févr. 2025 à 15:32, Christoph Berg <myon@debian.org> a écrit :
>
> Re: To Thomas Martin
> > I guess we will just remove the dependency and do that transition now.
>
> Hi,
>
> the way I resolved it now is to drop "make". Once we transition all
> extensions to PG18, we can put the proper dependencies in place again.
>
> Christoph