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.