Bump grunt from 1.3.0 to 1.5.3 in /src/klee_web - Githubissues

klee / klee-web

KLEE in the browser

Other

48 stars 15 forks source link

Bump grunt from 1.3.0 to 1.5.3 in /src/klee_web #196

Closed ccadar closed 2 years ago

ccadar commented 2 years ago

Bumps grunt from 1.3.0 to 1.5.3.

updated-dependencies:

dependency-name: grunt dependency-type: direct:development ...

Signed-off-by: dependabot[bot] support@github.com

Duplicate of #195, which did not trigger the CI