On 25/11/17 14:07, Jan Ekstrom wrote:
> On Tue, Nov 14, 2017 at 4:05 PM, Mark Thompson 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
On Tue, Nov 14, 2017 at 4:05 PM, Mark Thompson 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