updated for version 7.3.865

Problem: Mouse position may be wrong. Solution: Let vungetc() restore the mouse position.
2013-03-16 21:42:16 +01:00
parent a5be25e1db
commit b897871ce9
2 changed files with 14 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -728,6 +728,8 @@ static char *(features[]) =

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