> > Yes, but as I said twice only if the currently installed version is > different > from the default version. Otherwise ALTER EXTENSION UPGRADE is a no-op. >
Ah, ok, got it, thanks. Well I'm not sure how to deal with this. The only thing I can think of is that we add a post_upgrade function to the API. All extensions would have to implement this. Dave
