[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.