updated for version 7.3.1205

Problem: logtalk.dict is not removed on uninstall. Solution: Remove the file. (Kazunobu Kuriyama)
2013-06-16 14:20:13 +02:00
parent d69497413f
commit 926b5d3b30
2 changed files with 3 additions and 1 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 */
+/**/
+    1205,
 /**/
    1204,
 /**/