Closed GoogleCodeExporter closed 9 years ago
Good point, I'll commit it right away.
Thanks for your help!
Original comment by erwin.coumans
on 8 May 2013 at 9:07
This issue was closed by revision r2641.
Original comment by erwin.coumans
on 8 May 2013 at 9:07
Original issue reported on code.google.com by
sergej.r...@googlemail.com
on 28 Apr 2013 at 9:38Attachments: