Merge release-1.1 master#768
Merged
hklai merged 6 commits intoistio:masterfrom Jan 22, 2019
Merged
Commits
Commits on Jan 15, 2019
Commits on Jan 16, 2019
- authored andcommitted
- authored andcommitted
Commits on Jan 21, 2019
- authored andcommitted
Commits on Jan 22, 2019
- authored andcommitted
- committed