PR for #3 #17

Merged
flecomte merged 7 commits from #3 into master 2019-07-26 14:30:44 +02:00