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


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: 
http://lists.debian.org/[email protected]

Reply via email to