mschwager pushed to project branch main at mschwager / semgrep

mschwager
2021-06-21T19:22:04Z

mschwager (416eafd7) at 21 Jun 19:22

Merge branch 'julianthome-main-patch-92954' into 'main'

... and 14 more commits