patch 8.2.0172: Coverity warning for not restoring character

Problem: Coverity warning for not restoring character. Solution: Restore the character also in case of failure.
2020-01-28 23:13:42 +01:00
parent 9a5e5a3e33
commit 4549ece47c
2 changed files with 4 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =

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