Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This PR was submitted for the master branch but it was merged into the 2.7 branch instead (closes #6606). Discussion ---------- fix #6602 Fixes namespace for Extension in the docs Commits ------- 1a00342 fix #6602
- Loading branch information