From: John Paul Adrian Glaubitz <glaubitz@xxxxxxxxxxxxxxxxxxx> 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.