On 09/02/18 09:57, Zebediah Figura wrote: > This behaviour matches that on Windows tested mainly by manually modifying > the registry. If this is appropriate for a test I will add one. > Sorry, please ignore this patch. The other two should not depend on it.