intrigeri (2017-09-22):
> intrigeri (June 5):
>> you've handled the migration to Thunderbird so far; can you please
>> handle this?
> Ping?
I'll assume that about 9 months after this bug was reported,
everyone affected will have found a way to workaround it,
so case closed.
Cheers,
--
intrigeri