Closed GoogleCodeExporter closed 8 years ago
Markus,
Thanks for pointing this out. It has been fixed.
Original comment by nonhermitian
on 13 Dec 2011 at 7:08
I think I will upload a new version of 1.1.3 tomorrow to address this issue.
Original comment by nonhermitian
on 13 Dec 2011 at 12:22
Original issue reported on code.google.com by
Markus.B...@gmail.com
on 13 Dec 2011 at 6:11