* Raymond Toy [2010-09-20 17:33] writes: >> You have commit rights for SLIME, right? It's probably the easiest if >> you commit this yourself. > > No, I don't. (Or at least don't think so.) Just checked: you are in the slime group at cl.net. So you should be able to commit. Helmut