patch 8.1.0500: cleaning up in src/tee may not always work

Problem: Cleaning up in src/tee may not always work. Solution: Use "rm" when appropriate. (Michael Soyka, closes #3571)
2018-10-28 15:43:58 +01:00
parent 1c29943416
commit 833e5dab14
2 changed files with 10 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -792,6 +792,8 @@ static char *(features[]) =

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