I just pushed a simple safety check to avoid the crash.

I see @dunst0 has done a different commit in a personal git repo clone, likely trying to fix the behaviour in this case -- maybe he is going to make a pull request soon.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.