I went briefly through the code changes and there doesn't seem anything bad to me. Since this pull request fixes a crash, I'm merging it (and giving others a positive example what to do with my pull requests ;-).
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.