On Mon, Jun 23, 2008 at 2:54 PM, David Gay <dgay42 at gmail.com> wrote: > Should be fixed in CVS head (along with Kevin's problem) as soon as > sourceforge is happy again. Committed. David