Fix CI build

vbe0201 · vbe0201 · commit 597257a1440a · 2019-07-25T22:02:09.000+02:00
diff --git a/.ci/docker.sh b/.ci/docker.sh
@@ -2,4 +2,6 @@
 
 source /etc/profile.d/devkit-env.sh
 
+apt-get install -y patch
+
 make -C 3DS.py
