Merge branch 'develop' into debian/wheezy
authorAndrea Zagli <azagli@libero.it>
Tue, 12 Jun 2018 09:12:44 +0000 (11:12 +0200)
committerAndrea Zagli <azagli@libero.it>
Tue, 12 Jun 2018 09:12:44 +0000 (11:12 +0200)

Trivial merge