On Fri, May 22, 2020 at 1:40 PM Peter Geoghegan <pg@bowt.ie> wrote:
> It. seems like the right direction to me. Robert?
BTW, this is an interesting report of somebody using the INDEX_CLEANUP
feature when they had to deal with a difficult production issue:
https://www.buildkitestatus.com/incidents/h0vnx4gp7djx
This report is not really relevant to our discussion, but I thought
you might find it interesting.
--
Peter Geoghegan