mirror of
https://github.com/sheumann/hush.git
synced 2025-01-31 03:34:10 +00:00
fd94efa41f
substring match on "delete" handles it ok. But we (I?) forgot to renumber case labels...