From 6cd63a5bea7d9f05209a33fdc4428c394db5762b Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Tue, 9 May 2023 17:35:50 -0400
Subject: [PATCH] bump gitpod/workspace-full from `dc72512` to `f3646e7` (#195)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
---
 .gitpod.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index 2e00da2..42bf835 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -1 +1 @@
-FROM gitpod/workspace-full@sha256:dc72512ec88e7263d7cdbcb374bd33ccc4f9e7bddb46c0f65501131d5a2d6a76
+FROM gitpod/workspace-full@sha256:f3646e7e5c63b6d9cb0d7c76b24cdd55e4900fd3f790d280a9d78953ddc6c843