add better pc11->pc11 stats
[spider.git] / data / baddx.issue
2023-01-10 Dirk Koopmanrelease candidate