[slime-devel] *default-pathname-defaults* not reset after file compilation?

[Tobias C. Rittweiler]

Slawek Zak <slawek.zak at gmail.com> writes:

> Hi,
>
> Current slime doesn't reset *default-pathname-defaults* after file has been
> compiled to it's previous value - is there a reason for it?

Test case?

  -T.