1. 2011-08-30 Re: [PATCH gnumach 09/16] Remove unused and non-funct hurd-bug Samuel Thibault 2. 2011-08-30 [PATCH gnumach 09/16] Remove unused and non-functiona hurd-bug Guillem Jover