1. 2020-05-30 Re: [PATCHv2 5/7] hurd: remove unused variables hurd-bug Simon Marchi 2. 2020-05-30 Re: [PATCHv2 5/7] hurd: remove unused variables gdb-patch Simon Marchi 3. 2020-05-29 [PATCHv2 5/7] hurd: remove unused variables hurd-bug Samuel Thibault 4. 2020-05-29 [PATCHv2 5/7] hurd: remove unused variables gdb-patch Samuel Thibault