Dear all, Regarding this PostgreSQL reindexing issue, is there anything we need to mention in the release-notes? If this isn't fleshed out, but the most likely answer is yes, than I'd appreciate it to receive a bug against release-notes to remind us about it later on. Text can come later when it is clear what needs to be done.
Paul