Hasn't occurred again and the other bug mentioned (943800) appears to have been fixed by subsequent updates.
Hasn't occurred again and the other bug mentioned (943800) appears to have been fixed by subsequent updates.