Remove unneeded bits of commit 2013-02-15T09:41:31Z!eliz@gnu.org merged from release...
authorEli Zaretskii <eliz@gnu.org>
Fri, 15 Feb 2013 19:37:29 +0000 (21:37 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 15 Feb 2013 19:37:29 +0000 (21:37 +0200)
commitb2af991a2ff353b27fd6f72785e0081a742fd88a
tree6753dddf86a8424c10d7ce847ee811ecdeca87af
parente454145b0985d28ef5581be5c469726e68762322
Remove unneeded bits of commit 2013-02-15T09:41:31Z!eliz@gnu.org merged from release branch.
src/ChangeLog
src/w32proc.c