K 10
svn:author
V 5
green
K 8
svn:date
V 27
2002-03-05T17:50:35.000000Z
K 7
svn:log
V 232
Use revoke_and_destroy_dev() instead of destroy_dev() when removing /dev/net
pseudo-devices when an interface goes away.  Otherwise, an open /dev/net/foo0
when the interface is removed can cause a crash.

Not objected to by:	jlemon

END