Bump gitpod/workspace-full from 555d54d to dc72512

Bumps gitpod/workspace-full from `555d54d` to `dc72512`. --- updated-dependencies: - dependency-name: gitpod/workspace-full dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
LucasLarson · May 3, 2023 · e4b81ab · e4b81ab
1 parent 174de0b
commit e4b81ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -1 +1 @@
-FROM gitpod/workspace-full@sha256:555d54defbeb216a7901c8f755188ab9a93dfaec60ab4eab7d8872208d8f7c65
+FROM gitpod/workspace-full@sha256:dc72512ec88e7263d7cdbcb374bd33ccc4f9e7bddb46c0f65501131d5a2d6a76