mirror of
https://github.com/postgres/postgres.git
synced 2025-11-10 17:42:29 +03:00
in the database. The old behavior (reindex system catalogs only) is now available as REINDEX SYSTEM. I did not add the complementary REINDEX USER case since there did not seem to be consensus for this, but it would be trivial to add later. Per recent discussions.