michael@0:
michael@0: Web Console test for bug 939783 - different console.trace() calls
michael@0: wrongly filtered as duplicates
michael@0:
michael@0:
michael@0:
michael@0:
michael@0:
Web Console test for bug 939783 - different console.trace() calls
michael@0: wrongly filtered as duplicates