Great! In that case the crash you mentioned may have been bug 2062377 which should also be fixed now.
Great! In that case the crash you mentioned may have been bug 2062377 which should also be fixed now.