debian/2%1.8+git20180728-1

Samuel Thibault

@sthibault

ae366d5e · Merge branch 'master' of salsa.debian.org:hurd-team/gnumach · Jul 28, 2018

gnumach Debian release 2:1.8+git20180728-1