Merge branch 'develop' into housekeeping_git_meta_and_tests
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Jun 16 2019, 1:20 AM GitHub Committed on Jun 16 2019, 1:20 AM - Parents
- R123:ba25843d5e42: Merge pull request #973 from noplanman/smaller_code_and_docblock_fixes
R123:b1983411634d: Re-add when beta has been accepted or become non-beta. - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes