patch 8.1.0385: Coveralls badge doesn't update

Problem: Coveralls badge doesn't update. Solution: Update the URL
2018-09-13 19:04:48 +02:00
parent 8aeb504fc6
commit c91c500348
2 changed files with 3 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -794,6 +794,8 @@ static char *(features[]) =

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