Re: [slime-devel] Possible bug in slime-indentation.el's slime-handle-indentation-update - modifying user defaults