chiark / gitweb /
Report the vercode as well as the version name when building