Any interest out there in having the table named before the re-index begins?
Now we see 'NOTICE: table "pg_catalog.pg_db_role_setting" was reindexed'
I would rather see 'NOTICE: reindexing table
"pg_catalog.pg_db_role_setting"'
When the output stalls on a larger table, I would like to know which
table it is.
rjs
