patch 8.2.0273: MS-Windows uninstall may delete wrong batch file

Problem: MS-Windows uninstall may delete wrong batch file. Solution: Add specific marker in the generated batch file. (Ken Takata, closes #5654)
2020-02-17 22:53:14 +01:00
parent 414b796627
commit 1fa8d2c33d
5 changed files with 12 additions and 13 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -738,6 +738,8 @@ static char *(features[]) =

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