tree 8e00850c00211ca8a33bf1317358a9ad9a3627d1
parent 5ff8f3d7fde54075936e82b5075bb551f1ea37d6
author Denis Vlasenko <vda.linux@googlemail.com> 1169903625 -0000
committer Denis Vlasenko <vda.linux@googlemail.com> 1169903625 -0000

fix numbering in switch(): we don't have "del" anymore,
substring match on "delete" handles it ok. But we (I?)
forgot to renumber case labels...