Re: [slime-devel] [Patch]: slime-kill-all-buffers: kill XREF buffers

* Stas Boukarev [2009-03-04 01:03+0100] writes:

2009-03-03 Stas Boukarev <stassats@gmail.com>

* slime.el (slime-kill-all-buffers): Kill XREF buffers too.

Should be fixed in HEAD. Helmut.