On 10 July 2018 at 22:21, David Rowley <david.row...@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
