On 09/05/2017 07:49 PM, Steve Ellcey wrote: > Patch ping. Â Does anyone else have any comments on this approach > to fixing these tests? Please go ahead if this works for you. We can adjust it later if necessary (or if we have a more general framework for such matters). Thanks, Florian