Merge branch 'master' into master
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Aug 9 2018, 18:22 - Pushed
• trottet Dec 4 2019, 13:52 - Parents
- R9484:33596cb5c3cd: Merge pull request #1721 from gennadiycivil/master
R9484:4d9411467daf: code management comments, [ci-skip], no functionality changes - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
33596cb5c3cd | Gennadiy Civil/GitHub | Merge pull request #1721 from gennadiycivil/master | Aug 9 2018 |