Closed GoogleCodeExporter closed 8 years ago
This is a known issue, already listed in Issue 22. Shouldn't be hard to do,
per se,
but will require a lot of i-dotting and t-crossing type of work.
Unfortunately, it
falls low of my priority list unless someone offers to help with it.
Original comment by cropplan...@gmail.com
on 10 Dec 2009 at 11:53
Original issue reported on code.google.com by
TerreauT...@gmail.com
on 10 Dec 2009 at 10:02