On Dec 6, 2013, at 11:03 AM, Dominique Dhumieres <dominiq@lps.ens.fr> wrote: >> I think I blew by it the first time with the OK? at the end of the line? >> maybe I thought you thought it was trivial and checked it in > > The patch is indeed trivial, but I don't have write access to CVS, :-) We stop using cvs a long time ago.