Bump gitpod/workspace-full from 511cecd to a09d047#210
Closed
dependabot[bot] wants to merge 1 commit intomainfrom dependabot/docker/gitpod/workspace-full-a09d047af904e4f997f47732f3440ddbb151478f46b08542f7ea2487bbf853e5
+1-1
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}