Re: [PATCH] Delete thread_get_state_KERNEL and thread_set_state_KERNEL

[Samuel Thibault]

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

Applied, thanks!

Samuel