Subject: Re: bug#10651: There should be a fix to this bug
From: [email-masked] (Ludovic Courtès)
To: Stefan Israelsson Tampe <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Fri, 08 Jun 2012 12:45:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello!

I updated (ice-9 match) from Chibi as recommended by Stefan, and it
appears to fix the problem for me.

Thanks!

Ludo’.