From e785e90e3e66ec6f115ba8308b4aa9c27cf39abb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Ellensohn?= Date: Fri, 22 Sep 2023 09:16:34 +0200 Subject: [PATCH] update --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index f555381..5a24518 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -85,7 +85,7 @@ RUN vcs import < overlay.repos WORKDIR /overlay_ws -RUN echo "update overlay 18.09.2023" +RUN echo "update overlay 22.09.2023" RUN source /rmp_ws/install/setup.bash \ && apt-get update \