patch 8.2.1173: tee doesn't build on some systems

Problem: Tee doesn't build on some systems. Solution: Include header files. (Dominique Pelle, closes #6431)
2020-07-10 20:45:31 +02:00
parent 08fc48492a
commit 4004315292
2 changed files with 6 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -754,6 +754,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1173,
 /**/
    1172,
 /**/