K 10 svn:author V 3 phk K 8 svn:date V 27 2004-02-12T20:46:49.000000Z K 7 svn:log V 216 Correct the cleanup of the alias dev_t for /dev/urandom: being an alias it depends on the aliased dev_t and disappears automatically when that is removed. Submitted by: "Bjoern A. Zeeb" END