Hi,<div><br></div><div>I have created pull request #168 on GitHub (<a href="https://github.com/plt/racket/pull/168">https://github.com/plt/racket/pull/168</a>) which add two new functions to readline/readline for loading/saving the history from/to a file.</div>
<div><br></div><div>Could you please merge this change ?</div><div><br></div><div>Thanks in advance.</div><div><br></div><div>Regards,</div><div>Philippe Mechaļ</div><div><br></div><div>PS: I had previously sent an email about this change but I deleted the previous pull request to put my patch in a separate git branch.</div>