Re: [PATCH] Several tweaks for R6RS ports

[Ludovic Courtès]

Hello Andreas,

Thanks, I’ve applied all these.

Could you send a patch to update the manual?

Thanks,
Ludo’.