Re: [PATCH] Remove unnecessary #include <sys/stat.h>

[Jose E. Marchesi]

Hi John.
OK for master.
Thanks.

           * src/pk-term.c: Remove unnecessary #include <sys/stat.h>
    ---
     ChangeLog     | 4 ++++
     src/pk-term.c | 1 -
     2 files changed, 4 insertions(+), 1 deletion(-)
    
    diff --git a/ChangeLog b/ChangeLog
    index cc04026..a293c10 100644
    --- a/ChangeLog
    +++ b/ChangeLog
    @@ -1,3 +1,7 @@
    +2019-11-24 John Darrington <address@hidden>
    +
    +   * src/pk-term.c: Remove unnecessary #include <sys/stat.h>
    +
     2019-11-28  Jose E. Marchesi  <address@hidden>
     
        * testsuite/lib/poke-dg.exp (dg-data): Avoid appending duplicated
    diff --git a/src/pk-term.c b/src/pk-term.c
    index 8f864a7..d0daed7 100644
    --- a/src/pk-term.c
    +++ b/src/pk-term.c
    @@ -20,7 +20,6 @@
     
     #include <string.h>
     #include <unistd.h> /* For isatty */
    -#include <sys/stat.h> /* For stat and stabuf */
     #include <textstyle.h>
     
     #include "poke.h" /* For poke_ostream.  */