Hi, On Fri, May 10, 2013 at 09:30:12PM +0100, Miguel Figueiredo wrote: > It is with huge pleasure that the Hurd project The Debian GNU/Hurd port and the GNU Hurd project are not exactly the same, even though the member overlap is significant. Just pointing this out here as I am not sure the (GNU) Hurd project has acked this and I assume this is a Debian GNU/Hurd effort? (Either would be fine with me). Michael