patch 7.4.707

Problem:    Undo files can have their executable bit set.
Solution:   Strip of the executable bit. (Mikael Berthe)

src/version.c

@@ -741,6 +741,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    707,
 /**/
     706,
 /**/