Development#1
Merged
fpagliar merged 11 commits intofpagliar:developmentfrom Aug 23, 2019
Merged
Commits
Commits on Aug 22, 2018
Commits on Aug 25, 2018
Commits on Jul 25, 2019
Commits on Jul 26, 2019
- authored andcommitted

Commits on Jul 27, 2019
Commits on Jul 30, 2019
- authored andcommitted

Commits on Aug 9, 2019
- authored andcommitted
Commits on Aug 14, 2019
- authored andcommitted