From: John Paul Adrian Glaubitz <[email protected]>
Date: Sun, 14 Apr 2019 09:21:32 +0200

> Is there any particular reason this device name mismatch exists or
> is it just a bug we can fix?

It's probably been there for so long that changing it is likely to
have a risk of breaking some other piece of software.

Reply via email to