chiark / gitweb /
build: include buildserverid on wiki build logs, if it exists