debian/2%1.7+git20161023-2

Samuel Thibault

@sthibault

c117b2d1 · Fix boot hang in bad-luck module loads from grub · Oct 30, 2016

gnumach Debian release 2:1.7+git20161023-2