Fix previous change in w32menu.c.
authorEli Zaretskii <eliz@gnu.org>
Sat, 21 Jul 2012 19:26:25 +0000 (22:26 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 21 Jul 2012 19:26:25 +0000 (22:26 +0300)
commit37a9eac80c07eec4f17917433bc8c406e812e394
tree40e833869982edfc721124c35debe94e43c3a4e7
parent1ada2e55c700e8971a759241c0935060542c8179
Fix previous change in w32menu.c.
src/ChangeLog
src/w32menu.c