From 129a66a52a7b105b12c4b63b722420db7d43e24e Mon Sep 17 00:00:00 2001
From: Daniel <d.hornung@indiscale.com>
Date: Thu, 16 May 2024 12:43:31 +0200
Subject: [PATCH] MAINT: JDK 11 -> 17

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

diff --git a/.docker/Dockerfile b/.docker/Dockerfile
index 6f962db..f7634de 100644
--- a/.docker/Dockerfile
+++ b/.docker/Dockerfile
@@ -4,6 +4,6 @@ RUN apt-get update && apt-get install -y cmake git python3-pip curl
 
 # Dirty workaround for java not linking to the correct manpage directory (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199)
 RUN mkdir -p /usr/share/man/man1
-RUN apt-get install -y openjdk-11-jdk-headless
+RUN apt-get install -y openjdk-17-jdk-headless
 RUN pip3 install conan
 
-- 
GitLab