Merge pull request #766 from jacklul/credits
Update contact info
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Feb 3 2018, 10:22 AM GitHub Committed on Feb 3 2018, 10:22 AM - Parents
- R123:a82a421e16ef: Merge branch 'develop' into credits
R123:56298a17740a: Add changelog entry for #765 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes