On 12/9/24 15:23, Tom Lane wrote:
Adrian Klaver <adrian.klaver@xxxxxxxxxxx> writes:
You could file an issue here:
https://www.postgresql.org/account/login/?next=/account/submitbug/
Ask if the developers could use the mechanisms available here:
https://www.postgresql.org/docs/current/extend-extensions.html#EXTEND-EXTENSIONS-RELOCATION
This wouldn't really move the needle, since (a) there is not some
magic group of people that will become involved who aren't already
and (b) the requested fix seems exactly the same as the work
already in progress at [1].
What would help is to figure out why the proposed patch didn't
seem to work for you. I continue to suspect that you didn't
really install the updated extension, but it's unclear.
regards, tom lane
[1] https://www.postgresql.org/message-id/flat/3395418.1618352794@xxxxxxxxxxxxx
I compiled and installed PostgreSQL with the patch, and restarted it, so
unless there are other steps I'm not sure what I could have done wrong.
