Re: xxxterm and firefox35 May 11 snapshot

[Mihai Popescu]

Regarding the other personal post, xxxterm is crashing too, ending
with segmentation fault later, on gmail page.