PR: 2471
commitc544fce39a6ab5d9bb3eeb654300e83f2f2a0828
authorsteve <steve>
Wed, 22 Jun 2011 15:46:37 +0000 (22 15:46 +0000)
committersteve <steve>
Wed, 22 Jun 2011 15:46:37 +0000 (22 15:46 +0000)
treef30a3cb3210dde1fc2a85e725769fb55dec2ceb7
parent825082058a84d1f2c44e63112290062ab2094d37
PR: 2471
Submitted by: Corinna Vinschen

util/cygwin.sh: maintainer's update [from HEAD].
util/cygwin.sh