patch 8.2.0712: various code not fully tested

Problem: Various code not fully tested. Solution: Add a few more tests. (Yegappan Lakshmanan, closes #6049)
2020-05-07 18:43:44 +02:00
parent b2d0e51366
commit 0ff5dedf0f
5 changed files with 83 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 */
+/**/
+    712,
 /**/
    711,
 /**/