On Sun, Jun 17, 2018 at 9:33 PM Peter Geoghegan <pg@bowt.ie> wrote:
> On Sat, Jun 16, 2018 at 8:51 PM, Alvaro Herrera
> <alvherre@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