On 2019/11/03 08:26, Stuart Henderson wrote: > I'd just drop thd second category, devel is rwally "ports to help > woth software development, plus random things where we ckuldn't find > a better category". It doesn't make ot any easier to find this.
Bleh, sorry about the phone keyboard typos!
