bug-hurd
[Top][All Lists]
Advanced

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

Re: [PATCH 2/2] Remove an unused include


From: Samuel Thibault
Subject: Re: [PATCH 2/2] Remove an unused include
Date: Sun, 21 May 2023 21:24:58 +0200
User-agent: NeoMutt/20170609 (1.8.3)

Applied, thanks!

Sergey Bugaev, le jeu. 18 mai 2023 19:57:19 +0300, a ecrit:
> ---
>  utils/ps.c | 1 -
>  1 file changed, 1 deletion(-)
> 
> diff --git a/utils/ps.c b/utils/ps.c
> index a852b92f..6a08f736 100644
> --- a/utils/ps.c
> +++ b/utils/ps.c
> @@ -21,7 +21,6 @@
>  #include <hurd.h>
>  #include <stdio.h>
>  #include <stdlib.h>
> -#include <assert-backtrace.h>
>  #include <string.h>
>  #include <ctype.h>
>  #include <unistd.h>
> -- 
> 2.40.1
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.



reply via email to

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