chiark / gitweb /
rename $dgit_version to $our_version