# debian patches
05_sparc_unaligned_access.diff
stabs_format_debug_info.diff
no_gc_sections.diff
hurd.diff
webkit_qt_hide_symbols.diff
save_memory.diff

# ubuntu patches
devicePixelResolution.patch
disable_geolocation_501.diff
aarch64.patch
webkit-119798.patch
kubuntu_gstreamer-1.0.diff
kubuntu_buffer-ranges.patch
kubuntu_MediaPlayerPrivateGStreamer-should-take-ownership-of-the-playbin.patch
