fix search terms starting with \d+ in sh/log etc
[spider.git] / data / baddx.issue
2023-01-10 Dirk Koopmanrelease candidate