Bump the gradle-deps group across 1 directory with 8 updates#3818

wadoon merged 2 commits into

mainKeYProject/key:mainfrom

dependabot/gradle/gradle-deps-d36529f933KeYProject/key:dependabot/gradle/gradle-deps-d36529f933Copy head branch name to clipboard