bug#13210: [PATCH] maint: cygwin build broken

[Paul Eggert]

On 12/19/2012 07:46 AM, Z. Majeed wrote:

I know I was close to giving up and just working on linux

That's not giving up!