From e95e8496a714303667181d75af17f74201710ecf Mon Sep 17 00:00:00 2001
From: Janos SUTO <sj@acts.hu>
Date: Sat, 18 Jun 2022 15:57:37 +0200
Subject: [PATCH] Updated docker build

Signed-off-by: Janos SUTO <sj@acts.hu>
---
 docker/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/build.sh b/docker/build.sh
index 0aa3b220..9fd28ff6 100755
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -4,7 +4,7 @@ set -o errexit
 set -o pipefail
 set -o nounset
 
-IMAGE_NAME="sutoj/piler:1.3.11"
+IMAGE_NAME="sutoj/piler:1.3.12"
 
 if [[ $# -ne 1 ]]; then echo "ERROR: missing package name" 1>&2; exit 1; fi