patch 8.1.1157: Unicode tables are out of date

Problem: Unicode tables are out of date. Solution: Update to Unicode 12. (Christian Brabandt, closes #4240)
2019-04-12 20:08:55 +02:00
parent d489c9801b
commit f9b89b4679
2 changed files with 46 additions and 20 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -771,6 +771,8 @@ static char *(features[]) =

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