Create 3802.misc

pull/3802/head
Jan Christian Grünhage 2018-09-06 10:46:00 +02:00 committed by GitHub
parent 9c8cd855da
commit af3125226d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

1
changelog.d/3802.misc Normal file
View File

@ -0,0 +1 @@
Unignore synctl in .dockerignore to fix docker builds