For the record: this crash is unlikely to happen out there: it happened on my machine because I had an additional service file for the google account, which I've been using for development/testing purposes.
But indeed the fix is very welcome, and contributes to the robustness.
For the record: this crash is unlikely to happen out there: it happened on my machine because I had an additional service file for the google account, which I've been using for development/testing purposes.
But indeed the fix is very welcome, and contributes to the robustness.
Thanks Guillaume!