patch 8.1.0644: finding next sign ID is inefficient

Problem: Finding next sign ID is inefficient. Solution: Add next_sign_id. (Yegappan Lakshmanan, closes #3717)
2018-12-27 00:28:33 +01:00
parent 00b1e04165
commit 6436cd83f9
10 changed files with 86 additions and 37 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -799,6 +799,8 @@ static char *(features[]) =

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