patch 8.2.4725: unused variable in tiny build

Problem: Unused variable in tiny build. Solution: Add #ifdef.
2022-04-09 21:13:51 +01:00
parent a43993897a
commit 2ce97ae6aa
2 changed files with 4 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

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