On 8/18/20 9:39 AM, Keith Busch wrote:
Hi Jens,
The proposed alternatives continue to break with allowable (however unlikely) queue limits, where this should be safe for any possible settings. I think this should be okay to go as-is.
OK, let's try this again then. Queued up for 5.9.