Comment 18 for bug 185209

> There is at least one comment reporting a problem on GNOME, which is surely a different bug and should be filed separately

No need. I submitted 208947 with Gnome, and it was marked as a duplicate of this bug. Given identical corruption of /etc/hosts under similar circumstances, that's probably correct.

If 208947 is a different bug, then it's not a duplicate. Since the symptoms are identical, it should also be given a "high" priority.