Re: Strange ksh history behaviour

[Andres Perera]

I've been using a patch I made months ago. I haven't submitted it to
tech@ since I believe people actually want to keep it.

I can't post it at the moment because it's just on the CVS checkout
and I have other ksh changes that I have to split first.