patch 8.1.0764: list of distributed files is outdated

Problem: List of distributed files is outdated. Solution: Remove workshop files. Add blob files.
2019-01-17 16:11:06 +01:00
parent d09091d495
commit 6e0b6a0bec
2 changed files with 4 additions and 7 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -791,6 +791,8 @@ static char *(features[]) =

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