Hi Robert, On Sun, Nov 08, 2015 at 09:39:49PM +0100, Robert Millan wrote:
> I have thus merged the remaining bits of GNU/Hurd port [...] > with this commit the port is now complete. Great! :-) I was wondering, now that this part is done, whether you intended also to work on the next steps towards integrating Rump drivers in the Hurd? -antrik-