From 1fd407b3d0d6478a44d6537215acf7464f7a13d1 Mon Sep 17 00:00:00 2001 From: Georg Lauterbach <44545919+georglauterbach@users.noreply.github.com> Date: Mon, 2 Jan 2023 13:25:14 +0100 Subject: [PATCH] change default of `DEVCOT_COMMUNITY_REPO` to 1 (#2901) --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 4a641d9b..6b615ab3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -10,7 +10,7 @@ FROM docker.io/debian:11-slim AS stage-base ARG DEBIAN_FRONTEND=noninteractive -ARG DOVECOT_COMMUNITY_REPO=0 +ARG DOVECOT_COMMUNITY_REPO=1 ARG LOG_LEVEL=trace SHELL ["/bin/bash", "-e", "-o", "pipefail", "-c"]