chiark / gitweb /
Fix version upgrade that changes the wrong machine's width