Closed GoogleCodeExporter closed 9 years ago
This patch seems to fix it
Original comment by pterjan
on 14 Jan 2015 at 10:00
Attachments:
Thanks. That looks very plausible.
Original comment by j...@jclark.com
on 15 Jan 2015 at 3:20
It works for me too indeed.
Original comment by youpi...@gmail.com
on 15 Jan 2015 at 10:50
Original issue reported on code.google.com by
vsky...@gmail.com
on 9 Jun 2014 at 7:38