Hello, I discovered that extensions have owners (pg_extension.extowner).
The pgadmin4 schema diff ... well er, kind of tried to report to me that the owners differ (https://redmine.postgresql.org/issues/7145). This seems to be badly supported: · postgres does not seem to have support for something like ALTER EXTERNSION .... OWNER TO ... · pg_dump does not dump the owner. Is this a bug? At least it is uncomfortable for me currently. Is any further support to change, export or otherwise handle extension owners planned? Tested on a fresh postgres:14 docker container. Regards, Franz-Josef Färber
