rg3/youtube-dl — pull request #4136 by andikmu (2014-11-08 15:02:28+00:00)
Title: fix swrmediathek for new formats.

Fixes swrmediathek, which fails for higher resolution videos.