mirror of
https://github.com/postgres/postgres.git
synced 2025-08-30 06:01:21 +03:00
As pointed out by Tom, since HEAD has progressed beyond 9.5 in terms of
its catalog, we need to be sure catversion of HEAD is advanced beyond
that of 9.5. Corrects my mistake in the pg_stats view commit cfa928ff
.