Merge release-1.1 to master (final round for PRs merged before 1.1 lock)#771
Merged
hklai merged 2 commits intoistio:masterfrom Jan 23, 2019
Merged
Merge release-1.1 to master (final round for PRs merged before 1.1 lock)#771hklai merged 2 commits intoistio:masterfrom
hklai merged 2 commits intoistio:masterfrom
Commits
Commits on Jan 22, 2019
- authored andcommitted