patch 9.0.0372: MS-Windows: "%T" time format does not appear to work

Problem: MS-Windows: "%T" time format does not appear to work. Solution: Use "%H:%M:%S" instead.
2022-09-03 22:08:11 +01:00
parent 06fef1b2bd
commit 5fbbec180b
3 changed files with 5 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -707,6 +707,8 @@ static char *(features[]) =

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