chiark / gitweb /
commitid: Best: Check whether rotated version is better