Various fixes #16
Draft
aPonza wants to merge 10 commits intodougsm:masterfrom
Draft
Commits
Commits on Feb 19, 2020
- committed
Andrea Ponza - committed
Andrea Ponza - committed
Andrea Ponza - committed
Andrea Ponza - committed
Andrea Ponza - committed
Andrea Ponza - committed
Andrea Ponza
Commits on Feb 24, 2020
- committed
Andrea Ponza - committed
Andrea Ponza - committed
Andrea Ponza