Closed GoogleCodeExporter closed 8 years ago
Original comment by wuye9036
on 15 Dec 2011 at 3:15
Gallivm's solution is used.
It is not necessary.
Just close it and new issue will be created if we need.
Original comment by wuye9036
on 8 Feb 2012 at 8:49
Original issue reported on code.google.com by
wuye9036
on 14 Dec 2011 at 7:33