Regular doc updates (early Dec)#846
Merged
jorgeorpinel merged 21 commits intomasterfrom jorgeorpinelDec 12, 2019
+315-317
Commits
Commits on Dec 5, 2019
Commits on Dec 9, 2019
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 10, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 11, 2019
- committed
- committed
- committed
- committed
- committed