David Abrahams wrote: >> It's a bug, which the enclosed patch fixes (yes, I'm checking it in, >> nobody needs to ask me). FWIW sf.net anonimous cvs access is pretty good now. As time of writing this patch already available. Mike