Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #396 from alberti42/master
Update manager.py: more descriptive warnings when extensions fail to load
- Loading branch information