pkg_rename_fixups

Commit

8 years ago

Merge pull request #27237 from JuliaLang/kc/pkg_rename_fixups Small fixup from Pkg rename PR

References

Author

KristofferC

Parents