On Fri, May 22, 2020 at 1:40 PM Peter Geoghegan <p...@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
