Merging v.1.3.8 into master in preparation for release.#48
Merged
insightindustry merged 10 commits intomasterfrom developDec 7, 2019
Commits
Commits on Nov 25, 2019
- committedAlon Bar Tzlil
- committedAlon Bar Tzlil
Commits on Dec 7, 2019
- authored
- committed
- committed
- committed
- authored
- committed
- committed
- committed