From 2b494e00493fb1c84498e183b2af7ffbcb7f10d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oliver=20G=C3=BCnther?= <mail@oliverguenther.de>
Date: Tue, 17 Jun 2025 09:28:23 +0200
Subject: [PATCH] Still allow running older PGVERSION while users are migrating

---
 docker/prod/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/prod/Dockerfile b/docker/prod/Dockerfile
index f25ad513598..0f554390f61 100755
--- a/docker/prod/Dockerfile
+++ b/docker/prod/Dockerfile
@@ -16,7 +16,7 @@ ENV APP_USER=app
 ENV APP_PATH=/app
 ENV APP_DATA_PATH=/var/openproject/assets
 ENV PGVERSION="17"
-ENV PGVERSION_CHOICES="17"
+ENV PGVERSION_CHOICES="13 15 17"
 ENV PGBIN="/usr/lib/postgresql/$PGVERSION/bin"
 ENV PATH="$PGBIN:$PATH"
 ENV BUNDLE_WITHOUT="development:test"