1 files changed, 1 insertions, 0 deletions

diff --git a/changelog.d/3802.misc b/changelog.d/3802.misc
new file mode 100644

index 0000000000..a00eccb283
--- /dev/null
+++ b/changelog.d/3802.misc
@@ -0,0 +1 @@
+Unignore synctl in .dockerignore to fix docker builds