chiark / gitweb /
Fix update, broken in 7ac0c5abb2d