chiark / gitweb /
do not skip /dev/{disk,char}/M:m removal when the device node is already gone