chiark / gitweb /
update: strip all whitespace from buildserverid