The text 532fb0c40f74, as Debian 4.0 (Etch) shipped it.
release previously grabbed device
input_release_device(9) on Linux now
