Merge branch 'master' of ssh://gapil.gnulinux.it/srv/git/gapil
authorSimone Piccardi <piccardi@truelite.it>
Sun, 21 Apr 2019 16:08:17 +0000 (18:08 +0200)
committerSimone Piccardi <piccardi@truelite.it>
Sun, 21 Apr 2019 16:08:17 +0000 (18:08 +0200)

Trivial merge