chiark / gitweb /
makebuildserver: add comment about not upgrading sdk-tools