>
> so presumably this is only needed for old Cygwin versions. Can anyone
> say how old "1001" is and whether we still ought to care about it?
>
IIRC, I've been on 1.5.x for at least three years. 1.0/1.1 seems to be
around 2000/2001, based on a quick Google. So it's definitely older than
PG 7.3.
Regards,
Paul Bort