updated for version 7.3.697

Problem: Leaking resources when setting GUI font. Solution: Free the font. (Ken Takata)
2012-10-21 01:40:30 +02:00
parent f3408e76fb
commit c4b98fbb3e
2 changed files with 16 additions and 11 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -719,6 +719,8 @@ static char *(features[]) =

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