chiark / gitweb /
machine-id-commit: simplifications