--- a/mozilla-gstreamer.patch	Wed Oct 24 10:25:01 2012 +0200
+++ b/mozilla-gstreamer.patch	Fri Oct 26 13:01:33 2012 +0200
@@ -1,12 +1,12 @@
 # HG changeset patch
-# Parent e4b87e710b1a5f0bb7db058911bc163b4bf30227
+# Parent b6b96c933ed1acd86ee0201165f696a8c2ebd8eb
 # User Wolfgang Rosenauer <wr@rosenauer.org>
 No Bug - use GStreamer _only_ for MP4 (not WebM/OGG)
 
 diff --git a/content/html/content/src/nsHTMLMediaElement.cpp b/content/html/content/src/nsHTMLMediaElement.cpp
 --- a/content/html/content/src/nsHTMLMediaElement.cpp
 +++ b/content/html/content/src/nsHTMLMediaElement.cpp
-@@ -2277,21 +2277,17 @@ nsHTMLMediaElement::CreateDecoder(const 
+@@ -2437,21 +2437,17 @@ nsHTMLMediaElement::CreateDecoder(const 
      nsRefPtr<nsRawDecoder> decoder = new nsRawDecoder();
      if (decoder->Init(this)) {
        return decoder.forget();
@@ -28,7 +28,7 @@
  #ifdef MOZ_WAVE
    if (IsWaveType(aType)) {
      nsRefPtr<nsWaveDecoder> decoder = new nsWaveDecoder();
-@@ -2305,21 +2301,17 @@ nsHTMLMediaElement::CreateDecoder(const 
+@@ -2473,21 +2469,17 @@ nsHTMLMediaElement::CreateDecoder(const 
      nsRefPtr<nsMediaPluginDecoder> decoder = new nsMediaPluginDecoder(aType);
      if (decoder->Init(this)) {
        return decoder.forget();
@@ -48,5 +48,5 @@
    }
  #endif
  
- #ifdef MOZ_GSTREAMER 
-   if (IsH264Type(aType)) {
+ #ifdef MOZ_DASH
+   if (IsDASHMPDType(aType)) {