
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">

</head>

<body>

<div style="font-family:sans-serif"><div style="white-space:normal">

<p dir="auto">Many thanks to Attila and Fare for suggesting ways to rewrite my original patch.  New version now available in the repo.</p>


<p dir="auto">Note: has not been tested on <em>old</em> SBCL yet: I will do that later today when I get to the office.</p>


<p dir="auto">Best,<br>

r</p>

</div>

</div>

</body>

</html>