On Tue, Nov 02, 2010 at 02:49:26PM +0000, Marcos Marado wrote: > This issue appears to be fixed in the git version.
Indeed, I need to prepare a release. Ciao, Enrico -- GPG key: 4096R/E7AD5568 2009-05-08 Enrico Zini <enr...@enricozini.org>
signature.asc
Description: Digital signature
