Subject: Re: bug#10616: flush procedure for soft ports isn't called

From: [email-masked] (Ludovic Courtès)
Date: Fri, 27 Jan 2012 21:36:17 +0100

Hi Ian,

I fail to see the patch, and to retrieve it from
<http://bugs.gnu.org/10616>.  Could you resend it inline?

Thanks!

Ludo’.