<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div><span>sorry wrong one LOL</span></div><div><br></div> <div style="font-family: times new roman, new york, times, serif; font-size: 12pt;"> <div style="font-family: times new roman, new york, times, serif; font-size: 12pt;"> <div dir="ltr"> <font face="Arial" size="2"> <hr size="1"> <b><span style="font-weight:bold;">From:</span></b> Tony Mechelynck <antoine.mechelynck@gmail.com><br> <b><span style="font-weight: bold;">To:</span></b> Jeff Grossman <jeff@stikman.com> <br><b><span style="font-weight: bold;">Cc:</span></b> Mozilla Nightly Testers List <nightly-testers@mozilla.org> <br> <b><span style="font-weight: bold;">Sent:</span></b> Friday, June 1, 2012 12:54 AM<br> <b><span style="font-weight: bold;">Subject:</span></b> Re: Abnormally high RAM usage in latest Mozilla/5.0 (Windows NT 6.1; Win64; x64;
rv:15.0) Gecko/15.0 Firefox/15.0a1 build<br> </font> </div> <br>
On 31/05/12 03:45, Jeff Grossman wrote:<br>> That could be valuable information to include in a bug report. Does<br>> anybody know if a bug has been opened for this issue?<br>> <br>> Jeff<br><br>Bug 756150 maybe?<br><br><a href="https://bugzilla.mozilla.org/show_bug.cgi?id=756150" target="_blank">https://bugzilla.mozilla.org/show_bug.cgi?id=756150</a><br><br>“Browser gobbles up all memory until it crashes with javascript.options.strict set to true”<br><br>Has happened on SeaMonkey 2.12a1 (Gecko 15.0a1) on Linux-x86_64.<br><br>See also bug 751402 now duped to bug 634444.<br><br><br>Best regards,<br>Tony.<br>-- "Never be afraid to tell the world who you are."<br> -- Anonymous<br>_______________________________________________<br>Nightly-testers mailing list<br><a
ymailto="mailto:Nightly-testers@mozilla.org" href="mailto:Nightly-testers@mozilla.org">Nightly-testers@mozilla.org</a><br><a href="https://mail.mozilla.org/listinfo/nightly-testers" target="_blank">https://mail.mozilla.org/listinfo/nightly-testers</a><br><br><br> </div> </div> </div></body></html>