On Tue, Nov 14, 2017 at 4:05 PM, Mark Thompson <sw at jkqxz.net> wrote: > This is helpful to know what device has actually been used. > --- Change looks alright, and especially in multi-GPU contexts like laptops this can be quite useful - as you would learn which device you have just tried to utilize. Jan