I think that even #gnu looks like a best option for the GNU system channel than ##hurd, other names i think it'd be good to use: #gnu-sys , #gnu-system, #gnusystem.
#gnu-devel already exists, and #gnu is also good, so is ##hurd. _______________________________________________ gnu-system-discuss mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gnu-system-discuss
