The GNU Hurd - Bugs: bug #30256, device_close not automatically...
bug #30256: device_close not automatically closed on port closure
No changes have been made to this item