Merge pull request #2314 from Semmle/lgtm.com

Mergback lgtm.com branch into master
This commit is contained in:
Henning Makholm
2019-11-14 14:55:26 +01:00
committed by GitHub

View File

@@ -5,7 +5,7 @@
- path-problem
precision:
- high
- very high
- very-high
- include:
kind:
- problem