chiark / gitweb /
Fix some machine_type values