2 ms·

If you don't mind, can you file a bug report? Crashes are usually the easiest bugs to track down and fix.