>
> This [HINT] says that YOU are supposed to run the ALTER EXTENSION command:
> [quote]
> update the installed extension version by executing "ALTER EXTENSION repmgr UPDATE"
> [/quote]
I did run that, but it seemed to have no effect. How should the update work, what should it do?
— Matthias