[slime-devel] Re: comma shortcut doesn't work always

[Edi Weitz]

On Mon, 19 Jul 2004 16:57:51 +0200, Luke Gorrie <luke at bluetail.com> wrote:

> I get this too. I looked into this a long time ago and have no idea
> what could possibly be causing it. :-)

Me neither. But this was introduced in the last days. I updated from
CVS today and it was there. My last update was probably on friday or
thurday.

Edi.