debian/2%1.8+git20171101-2

Samuel Thibault

@sthibault

e33b1698 · Fix stage1 installation of headers · Nov 26, 2017

gnumach Debian release 2:1.8+git20171101-2