patch 8.0.0805: GUI test fails with gnome2

Problem: GUI test fails with gnome2. Solution: Set $HOME to an existing directory.
2017-07-29 20:39:53 +02:00
parent 91d348abfc
commit d1ee0043c0
3 changed files with 8 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =

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