Autofix: upgrade-sdkman-tools#2139

autofix-bot wants to merge 1 commit into

gitpod-io:maingitpod-io/workspace-images:mainfrom

autofix-bot:autofix-upgrade-sdkman-tools-825autofix-bot/workspace-images:autofix-upgrade-sdkman-tools-825Copy head branch name to clipboard