Docker: use tei-publisher-lib 4.0.1

eeditiones · Oct 15, 2024 · 61b65c7 · 61b65c7
1 parent f7362ae
commit 61b65c7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.devcontainer/Dockerfile.dev b/.devcontainer/Dockerfile.dev
@@ -2,7 +2,7 @@ FROM mcr.microsoft.com/devcontainers/java:8-bullseye
 
 ARG EXIST_VERSION=6.2.0
 ARG TEMPLATING_VERSION=1.1.0
-ARG PUBLISHER_LIB_VERSION=4.0.0
+ARG PUBLISHER_LIB_VERSION=4.0.1
 ARG ROUTER_VERSION=1.8.1
 ARG EDITOR_VERSION=1.0.1
 

diff --git a/Dockerfile b/Dockerfile
@@ -40,7 +40,7 @@ FROM builder as tei
 
 # TODO(DP): Demo App Versions need updating
 ARG TEMPLATING_VERSION=1.1.0
-ARG PUBLISHER_LIB_VERSION=4.0.0
+ARG PUBLISHER_LIB_VERSION=4.0.1
 ARG ROUTER_VERSION=1.8.1
 ARG SHAKESPEARE_VERSION=2.0.2
 ARG VANGOGH_VERSION=2.0.0