Merge branch 'master' of ssh://gapil.gnulinux.it/srv/git/gapil