Create 3802.misc

This commit is contained in:
Jan Christian Grünhage authored and Richard van der Hoff committed 2018-09-06 10:24:59 +01:00
1 parent 78d1042c10
commit 0cd7b209e2
1 file changed
+1
+1
View File
@@ -0,0 +1 @@
Unignore synctl in .dockerignore to fix docker builds