djsegal opened this issue 7 years ago · 1 comments
Probably solve this by moving to:
There are a couple duplicate sub-category names. And some sub categories share the name of their category.
// fixed it in JuliaPackages.jl, not going to here