Merge pull request #11471 from github/rc/3.8

Merge rc/3.8 into main
This commit is contained in:
Arthur Baars
2022-11-29 12:57:34 +01:00
committed by GitHub
48 changed files with 162 additions and 434 deletions

View File

@@ -12,8 +12,8 @@ import IDEContextual
*
* In some cases it is preferable to modify locations (the
* `hasLocationInfo()` predicate) so that they are short, and
* non-overlapping with other locations that might be highlighted in
* the LGTM interface.
* non-overlapping with other locations that might be reported as
* code scanning alerts on GitHub.
*
* We need to give locations that may not be in the database, so
* we use `hasLocationInfo()` rather than `getLocation()`.