Re: [PATCHv2 1/7] hurd: fix gnu_debug

bug-hurd

Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type

From:	Samuel Thibault
Subject:	Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type
Date:	Sat, 30 May 2020 21:07:13 +0200
User-agent:	NeoMutt/20170609 (1.8.3)

Ok, I pushed this series of 7 patches for now.

Thanks for the reviews,
Samuel

Current Thread

[Next in Thread]

Re: [PATCHv2 6/7] hurd: add gnu_target pointer to fix thread API calls, (continued)
- [PATCHv2 7/7] hurd: fix pushing target on inferior creation, Samuel Thibault, 2020/05/29
  - Re: [PATCHv2 7/7] hurd: fix pushing target on inferior creation, Simon Marchi, 2020/05/30
- Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type, Simon Marchi, 2020/05/30
  - Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type, Samuel Thibault, 2020/05/30
    - Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type, Simon Marchi, 2020/05/30
    - Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type, Samuel Thibault, 2020/05/30
    - Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type, Simon Marchi, 2020/05/30
- Re: [PATCHv2 1/7] hurd: fix gnu_debug_flag type, Samuel Thibault <=