first round of changes towards doctesting#1921
Merged
emmanuelle merged 18 commits intomasterfrom Nov 29, 2019
Commits
Commits on Nov 22, 2019
Commits on Nov 25, 2019
Commits on Nov 27, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 28, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed