Good to hear… let me know if it happens again.
Also, for the record, when in the middle of development (or otherwise busy) and a stable build is out I’ll usually only give most crash reports a quick look over since they’re nearly always plugin related (I’ve spent literally hundreds of hours looking into crash reports that turn out to be the plugin’s fault and it gets tiresome after a while). If you send a crash report and need it looked into as a matter of urgency it’s best to drop me an email as well.