Merge branch 'develAndroid' into 'develop'

Post corsi Arduino 2019

See merge request sito/poul-jekyll!1
1 job for develop
in 1 minute and 31 seconds and was queued for 2 seconds