* Didier Verna [2007-09-03 16:29+0200] writes: > Dear Slimers, > > the following patch fixes the custom type of the variable > slime-filename-translations. Committed. Helmut.