Hmm. I just realized that mail to cygwin-developers goes through the same machine as the CVS repository, so it is unlikely that anyone will see the message I just sent and this followup message before the problem I was reporting gets fixed. Doh! jik