Skip to content

Commit

Permalink
Merge pull request #3432 from semgrep/merge-develop-to-release
Browse files Browse the repository at this point in the history 
Merge Develop into Release
  • Loading branch information
@philipturnbull
philipturnbull authored Jul 18, 2024
2 parents 5bebf30 + b570a5a commit 6221058
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions Pipfile.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 6221058

Please sign in to comment.