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 allextensions to PG18, we can put the proper dependencies in place again.
Christoph