Restore semgrep

Christian Rochacommitted parent 54da4f0dcea03e39b405e0aa4cfd575db190867e879b4cfBrowse files
1 file changed+1−1

Rendering diff…