Bonjour à tous,
Pour les pages du HURD, vu qu'elles font partie du répertoire /ports et que j'en ai traduit pas mal, je veux bien m'en occuper de celles-là dorénavant.Par ailleurs, je profite de ce mail à la liste pour dire qu'on cherche toujours des mainteneurs pour ces pages, puisque tu m'as dit en mail privé que tu ne souhaitais pas etre mainteneur.
Thomas.