patch 7.4.1415
Problem: Dropped the skip-tags setting.
Solution: Put it back.
diff --git a/appveyor.yml b/appveyor.yml
index 28bd382..7f6a40a 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -1,5 +1,7 @@
version: "{build}"
+skip_tags: true
+
environment:
matrix:
- FEATURE: HUGE
diff --git a/src/version.c b/src/version.c
index e8d5595..12ce7cb 100644
--- a/src/version.c
+++ b/src/version.c
@@ -749,6 +749,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1415,
+/**/
1414,
/**/
1413,