On 12/9/24 15:23, Tom Lane wrote:
> Adrian Klaver <adrian.klaver@aklaver.com> 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@sss.pgh.pa.us
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.
