Merge branch 'workarounds' into feature

subprojects/packagefiles/dav1d/0001.patch

@@ -1,4 +1,4 @@
-diff --git a/include/dav1d/dav1d.h b/include/dav1d/dav1d.h
+diff --git a/include/dav1d/dav1d.h b/include/dav1d/dav1d.h
 index e8f0705..ff48ea0 100644
 --- a/include/dav1d/dav1d.h
 +++ b/include/dav1d/dav1d.h

subprojects/packagefiles/wxWidgets-master/0001.patch

@@ -0,0 +1,21 @@
+diff --git a/include/wx/dcbuffer.h b/include/wx/dcbuffer.h
+index b47045bca1..435a501546 100644
+--- a/include/wx/dcbuffer.h
++++ b/include/wx/dcbuffer.h
+@@ -15,8 +15,13 @@
+ #include "wx/dcclient.h"
+ #include "wx/window.h"
+ 
+-// All current ports use double buffering.
+-#define wxALWAYS_NATIVE_DOUBLE_BUFFER       1
++// Split platforms into two groups - those which have well-working
++// double-buffering by default, and those which do not.
++#if defined(__WXMAC__) || defined(__WXGTK20__) || defined(__WXDFB__) || defined(__WXQT__)
++    #define wxALWAYS_NATIVE_DOUBLE_BUFFER       1
++#else
++    #define wxALWAYS_NATIVE_DOUBLE_BUFFER       0
++#endif
+ 
+ 
+ // ----------------------------------------------------------------------------
+ 

subprojects/wxWidgets-master.wrap

@@ -4,3 +4,4 @@ url = https://github.com/wxWidgets/wxWidgets.git
 revision = master
 clone-recursive = true
 depth = 1
+diff_files = wxWidgets-master/0001.patch