chiark / gitweb /
makebs: revert platform-tools change in 2227cc6d