Closed GoogleCodeExporter closed 9 years ago
Original comment by laurent....@gmail.com
on 10 Oct 2014 at 1:29
Yes, very relevant comment. The change is easy to do, I'll implement it just
after having hit "Save changes" for this comment ;)
Original comment by laurent....@gmail.com
on 16 Oct 2014 at 9:26
Original comment by laurent....@gmail.com
on 16 Oct 2014 at 9:27
Original comment by laurent....@gmail.com
on 16 Oct 2014 at 2:43
Original comment by laurent....@gmail.com
on 20 Oct 2014 at 8:55
Original comment by laurent....@gmail.com
on 20 Oct 2014 at 10:39
Original issue reported on code.google.com by
Gunnar.V...@googlemail.com
on 10 Oct 2014 at 12:44