chiark / gitweb /
gpt-auto-generator: include device name in error reports