Merge branch 'master' into master
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Aug 8 2018, 21:19 - Pushed
• trottet Dec 4 2019, 13:52 - Parents
- R9484:00fc0d24d165: Formatting tweaks, no functionality changes
R9484:66bd580b5bc0: Merge pull request #1713 from gennadiycivil/master - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
66bd580b5bc0 | Gennadiy Civil/GitHub | Merge pull request #1713 from gennadiycivil/master | Aug 8 2018 |