Oops. Thanks for reporting. Should be fixed in GIT master.

In theory there might be a possibility to crash again but this should be very rare and hard to trigger.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.