Subject: Re: bug#10938: patch
From: [email-masked] (Ludovic Courtès)
To: Stefan Israelsson Tampe <[email-masked]>
Cc: [email-masked]
Date: Mon, 02 Jul 2012 15:11:30 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Stefan,

Thanks, fixed differently in a8215aedad433a15abf87c2310a41c684dfcef97.

In the future, could you please provide a patch with a log and test case
similar to what’s in the above commit?

Ludo’.