Completed
Pull Request — master (#1571)
by
unknown
10:39 queued 01:53
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A RepositoryManager::hasRepository() added
A RepositoryManager::hasRepository() added