Hi, this crash no longer happens, probably because of fixes in libraries used by arora. Therefore, I'm going to close this bug...
-- Laurent. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
