Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
`DirectoriesPackagePrograms( <name> )` wants to check whether the package `<name>` is already available, but it does not make sure that `<name>` is in lowercase. Thus the package may be erroneously regarded as not yet loaded, and if several versions of the package are installed then the path for the highest version is taken, which may be wrong.
- Loading branch information