Marcus Brinkmann wrote: > > All GNU Hurd will be aliased to hurd in config/config.alias. > > The conventional name is "gnu", please. Okay, I will use "gnu" (as Igor does in his patch). -- Edouard G. Parmelan http://egp.free.fr