Interest in addition to slime-repl-history-replace?

[Andrew]

João Távora <joaotavora <at> gmail.com> writes:

> 
> Andrew Myers <asm198 <at> gmail.com> writes:
> 
> > Here's what I have modified right now.
> 
> There is a much, much bigger chance to get this looked at if you make a
> github pull request. See the new CONTRIBUTING.md file.
> 
> João
> 
> 


For anyone interested in this, I Just submitted a pull request for it on
github.  It's been cleaned up and I added a customize option and fixed a
few bugs that were in the version I sent out in email.

https://github.com/slime/slime/pull/100

Andrew