On 25/11/13 12:59 AM, Ryan Schmidt wrote: > Until it’s fixed, you’ll have to clean mono and try again to get a new > log for mono. Then file a ticket in the issue tracker and attach the > (possibly compressed) log, assuming no ticket for this problem already exists. Thanks. I have cleaned it, got a usable logfile, and filed a bug report now. Thomas