diff options
author | Juanma Barranquero <[email protected]> | 2007-10-25 14:40:00 +0000 |
---|---|---|
committer | Juanma Barranquero <[email protected]> | 2007-10-25 14:40:00 +0000 |
commit | a7d9e21f3c5bd0c80e3a404ce37a3136eae8e036 (patch) | |
tree | 21a080b327992aab25d348990ad14ce368055e23 | |
parent | c5f6df4d5b7686049a85a13fd4d94993eb75f8f6 (diff) |
*** empty log message ***
-rw-r--r-- | src/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index c5ebc4ab5a..86f77fabd0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,6 +1,7 @@ 2007-10-25 Juanma Barranquero <[email protected]> * w32.c (init_environment): Fix tiny memory leak. + (w32_get_resource): Remove unused variable `ok'. 2007-10-24 Jason Rumney <[email protected]> |