On 10 July 2018 at 22:21, David Rowley <david.rowley@2ndquadrant.com> wrote:
> I've done that in the attached. Also on reading the comment above, it
> looks slightly incorrect. To me, it looks like it's applying a
> twentieth of the cost and not a tenth as the comment claims. I
> couldn't resist updating that too.
I've added this patch to the September commit fest:
https://commitfest.postgresql.org/19/1720/
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services