From 9c8cd855da4c32dc9219655d13cb86d6f9933381 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Christian=20Gr=C3=BCnhage?=
 <jan.christian@gruenhage.xyz>
Date: Thu, 6 Sep 2018 10:39:55 +0200
Subject: [PATCH 1/2] remove synctl from .dockerignore

---
 .dockerignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.dockerignore b/.dockerignore
index 6cdb8532d332..0180602e56fc 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -3,6 +3,5 @@ Dockerfile
 .gitignore
 demo/etc
 tox.ini
-synctl
 .git/*
 .tox/*

From af3125226d04f5dc9f74168ae2654a062537f075 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Christian=20Gr=C3=BCnhage?=
 <jan.christian@gruenhage.xyz>
Date: Thu, 6 Sep 2018 10:46:00 +0200
Subject: [PATCH 2/2] Create 3802.misc

---
 changelog.d/3802.misc | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 changelog.d/3802.misc

diff --git a/changelog.d/3802.misc b/changelog.d/3802.misc
new file mode 100644
index 000000000000..a00eccb28329
--- /dev/null
+++ b/changelog.d/3802.misc
@@ -0,0 +1 @@
+Unignore synctl in .dockerignore to fix docker builds