Closed GoogleCodeExporter closed 9 years ago
Confirmed - since I reported this one from Oliver's account anyway :)
Original comment by joseph.lizier
on 13 Dec 2012 at 9:00
Patched in revision r123
Original comment by joseph.lizier
on 13 Dec 2012 at 9:15
Original issue reported on code.google.com by
oliver.m...@gmail.com
on 13 Dec 2012 at 6:24