Merge tag 'v1.4.2' into debian/master
authorAntonio Ospite <ao2@ao2.it>
Wed, 10 Jun 2020 21:17:19 +0000 (23:17 +0200)
committerAntonio Ospite <ao2@ao2.it>
Wed, 10 Jun 2020 21:17:19 +0000 (23:17 +0200)
Release v1.4.2


Trivial merge