bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Delete thread_get_state_KERNEL and thread_set_state_KERNEL


From: Samuel Thibault
Subject: Re: [PATCH] Delete thread_get_state_KERNEL and thread_set_state_KERNEL
Date: Sun, 11 Dec 2022 09:03:46 +0100
User-agent: NeoMutt/20170609 (1.8.3)

Flavio Cruz, le dim. 11 déc. 2022 01:51:18 -0500, a ecrit:
> These are not used.

Applied, thanks!

Samuel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]