patch 8.1.2002: version number 2000 missing

Problem:    Version number 2000 missing.
Solution:   Add the number in the list of patches.
diff --git a/src/version.c b/src/version.c
index 60ab297..7f3310e 100644
--- a/src/version.c
+++ b/src/version.c
@@ -758,8 +758,12 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    2002,
+/**/
     2001,
 /**/
+    2000,
+/**/
     1999,
 /**/
     1998,