Closed GoogleCodeExporter closed 8 years ago
I believe this is fixed in 1.4.23 if you'd like to try. please re-open if it's
not.
Original comment by dorma...@rydia.net
on 20 Apr 2015 at 6:49
Confirmed fixed (does not halt anymore).
But because of Issue #403 I cannot check if it really runs correctly.
Original comment by arne.cl...@gmail.com
on 20 Apr 2015 at 8:09
Original issue reported on code.google.com by
arne.cl...@gmail.com
on 16 Apr 2015 at 12:15Attachments: