Merge pull request #311256 from r-ryantm/auto-update/semgrep
commit9f0232fb289fd56cab1bfa7880040a36c50e3fca
authorMatthias Beyer <mail@beyermatthias.de>
Mon, 13 May 2024 07:29:08 +0000 (13 09:29 +0200)
committerGitHub <noreply@github.com>
Mon, 13 May 2024 07:29:08 +0000 (13 09:29 +0200)
tree301d1d2bd09accb368d3cc9067a56505fe8938e7
parente8cec63ebf1a8ad613329dec1f3f3166d049fed1
parentfb331042de467a7d7450f122c221cbcd3d73beac
Merge pull request #311256 from r-ryantm/auto-update/semgrep

semgrep: 1.71.0 -> 1.72.0