src/w32proc.c (waitpid): Remove unused label get_result.
authorJuanma Barranquero <lekktu@gmail.com>
Sun, 18 Nov 2012 01:12:17 +0000 (02:12 +0100)
committerJuanma Barranquero <lekktu@gmail.com>
Sun, 18 Nov 2012 01:12:17 +0000 (02:12 +0100)
commitc1f7ba3a74da20e7a20f3f521d6f6b7550cd5d56
tree5659d9054d88f6db6fa3445666631f45437550cd
parent1b4743737146ce739f372dfbdff1becd25c4383c
src/w32proc.c (waitpid): Remove unused label get_result.
src/ChangeLog
src/w32proc.c