--- a/mozilla-linux3.patch	Wed Apr 25 13:47:56 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-# HG changeset patch
-# Parent bf7c3e1c6174630743f9f94808c4dd3a2edc0c6b
-diff --git a/toolkit/crashreporter/tools/symbolstore.py b/toolkit/crashreporter/tools/symbolstore.py
---- a/toolkit/crashreporter/tools/symbolstore.py
-+++ b/toolkit/crashreporter/tools/symbolstore.py
-@@ -376,16 +376,17 @@ def GetVCSFilename(file, srcdirs):
-     return (file.replace("\\", "/"), root)
- 
- def GetPlatformSpecificDumper(**kwargs):
-     """This function simply returns a instance of a subclass of Dumper
-     that is appropriate for the current platform."""
-     return {'win32': Dumper_Win32,
-             'cygwin': Dumper_Win32,
-             'linux2': Dumper_Linux,
-+	    'linux3': Dumper_Linux,
-             'sunos5': Dumper_Solaris,
-             'darwin': Dumper_Mac}[sys.platform](**kwargs)
- 
- def SourceIndex(fileStream, outputPath, vcs_root):
-     """Takes a list of files, writes info to a data block in a .stream file"""
-     # Creates a .pdb.stream file in the mozilla\objdir to be used for source indexing
-     # Create the srcsrv data block that indexes the pdb file
-     result = True