Merge pull request #1115 from jacklul/custom_namespace_fixes
Custom namespace fixes
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Jun 23 2020, 2:22 AM GitHub Committed on Jun 23 2020, 2:22 AM - Parents
- R123:8cfc1b114e0b: Fixes for 0.63.0's custom namespace feature
R123:fb0f340578d9: Version 0.63.0 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes