On 2019-Jul-05, Tom Lane wrote:
> FWIW, I don't think there's a need for every catversion on the back branch
> to look older than any catversion on HEAD. The requirement so far as the
> core code is concerned is only for non-equality. Now, extension code does
> often do something like "if catversion >= xxx", but in practice they're
> only concerned about numbers used by released versions.
pg_upgrade also uses >= catversion comparison for a couple of things. I
don't think it affects this case, but it's worth keeping in mind.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services