On Tue, Mar 20, 2018 at 02:13:48AM -0700, Daniel Gimpelevich wrote: > On Tue, 2018-03-20 at 10:08 +0100, Greg KH wrote: > > Put the device "type" or "name" as a comment, that makes more sense > > and > > follows what almost all other drivers do. > > I strongly considered this, but I ultimately decided against it in > consideration of the limited space for comments on the right, the lack > of such device identification extant in this driver, and the presence of > most or all of the listed devices in the usb.ids file. There is no usb.ids file anymore :) -- To unsubscribe from this list: send the line "unsubscribe linux-usb" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html