1. 2020-05-29 Re: [PATCH 1/5] hurd: fix gnu_debug_flag type hurd-bug Simon Marchi 2. 2020-05-29 Re: [PATCH 1/5] hurd: fix gnu_debug_flag type gdb-patch Simon Marchi 3. 2020-05-29 [PATCH 1/5] hurd: fix gnu_debug_flag type hurd-bug Samuel Thibault 4. 2020-05-29 [PATCH 1/5] hurd: fix gnu_debug_flag type gdb-patch Samuel Thibault