Merge release into master#4143
Merged
DimitarTachev merged 23 commits intomasterfrom Nov 19, 2018
Commits
Commits on Nov 7, 2018
Commits on Nov 12, 2018
Commits on Nov 13, 2018
Commits on Nov 14, 2018
- committed
- committed
- committed
- committed
- authored
- committed
- authored
- authored
- authoredFatme
Commits on Nov 16, 2018
- authoredFatme
- committed
- committed
- committed
- authoredFatme
- committed