On 4/14/19 10:18 PM, David Miller wrote: > 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. Hmm, good point. We could maybe change it in the Debian kernel for testing purposes and see if anything breaks for our users. I'll report back. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaubitz@xxxxxxxxxx `. `' Freie Universitaet Berlin - glaubitz@xxxxxxxxxxxxxxxxxxx `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913