Closed GoogleCodeExporter closed 8 years ago
Whoa! Nice catch!
Original comment by jbe...@gmail.com
on 20 Oct 2011 at 6:50
Fixed, r3e54f4e8dfbd
Original comment by jbe...@gmail.com
on 21 Oct 2011 at 3:30
Uh that was quick. Thanks!
Original comment by m...@riedel-privat.de
on 21 Oct 2011 at 6:19
Original issue reported on code.google.com by
m...@riedel-privat.de
on 20 Oct 2011 at 3:32