On 1/30/19 1:11 PM, Thomas Stüfe wrote: > I think this probing is not needed anymorewith 8217994, or? It probably does not, but 8217994 should get in first. I implore everyone to stop with bikeshedding patches to death, meanwhile. -Aleksey