Re: [mat-dev] [pkg-mat] Bug#719140: (no subject)

Hi Julien,

jvoisin wrote (12 Aug 2013 14:57:57 GMT) :
> I pushed a patch which should improve this behaviour, and hopefully fix
> (as a side effect) this problem.

May you please point us to this patch, so that the bug reporter can
try and see if this fixes his problem?

Thanks in advance!

Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc