Merge branch 'master' of git.sv.nongnu.org:/srv/git/nmh