From b9ec1d8316c43add19c79733fe877dce544c1181 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?=
 <969523+alaendle@users.noreply.github.com>
Date: Sun, 15 Dec 2024 08:09:54 +0100
Subject: [PATCH] Revert to previous used `pid1`.

---
 automated/dockerfiles/lts-23.0/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/automated/dockerfiles/lts-23.0/Dockerfile b/automated/dockerfiles/lts-23.0/Dockerfile
index 755fa599..8a0ac9cf 100644
--- a/automated/dockerfiles/lts-23.0/Dockerfile
+++ b/automated/dockerfiles/lts-23.0/Dockerfile
@@ -4,7 +4,7 @@ LABEL maintainer="manny@fpcomplete.com"
 
 ARG GHC_VERSION=9.8.4
 ARG LTS_SLUG=lts-23.0
-ARG PID1_VERSION=0.1.3.1
+ARG PID1_VERSION=0.1.2.0
 ARG STACK_VERSION=2.15.7
 ARG CUDA_VERSION=10.0
 ARG JVM_PATH=/usr/lib/jvm/java-8-openjdk-amd64