Bug#805701: Clisp Patch

[Flávio Cruz]

Have any of the clisp maintainers seen this patch? I would really like to
see this fixed.

Thanks!

On 21 November 2015 at 01:55, Flávio Cruz <flavioc...@gmail.com> wrote:

> Seems like I forgot the patch.
>



-- 
Flávio Cruz / flavioc...@gmail.com