On Sun, Jun 17, 2018 at 9:33 PM Peter Geoghegan <p...@bowt.ie> wrote: > On Sat, Jun 16, 2018 at 8:51 PM, Alvaro Herrera > <alvhe...@2ndquadrant.com> wrote: > > I don't necessarily object to the proposed change, but I think you > > should generally wait a bit longer for others to react. > > What wait period do you think is appropriate in this case? > > The doc section that I removed was a last minute addition to the > covering index commit, commit 8224de4f, something that I was heavily > involved in as a reviewer. I felt, rightly or wrongly, that I had > discretion to commit within a relatively short period of time (a > little over 24 hours) because of the specific circumstances: I knew > that the doc section was not well considered in the first place, I > thought that the question was clear cut, and I doubted that anyone > else would follow up at all.
FWIW, I've no objections against removing this. ------ Alexander Korotkov Postgres Professional: http://www.postgrespro.com The Russian Postgres Company