The text 54dbf95abdf9, as Debian 4.0 (Etch) shipped it.
Makes a particular alternate setting be current
usb_set_interface(9) on Linux now
