chiark / gitweb /
Revert: split into `revert' and `revert-full-system'