Merge pull request #303 from github/rc/1.25

Merge rc/1.25 into main

Author: max-schaefer

change-notes/2020-06-17-gin-model.md

@@ -7,5 +7,3 @@ lgtm,codescanning
   may lead to more results from the security queries.
 * Basic support for the [Json-iterator](https://github.com/json-iterator/go) JSON library has been added, which
   may lead to more results from the security queries.
-
-

change-notes/2020-07-28-library-models.md

@@ -5,5 +5,8 @@
 
 import go
 
+/**
+ * Gets the `File` with encoded name `name`.
+ */
 cached
 File getEncodedFile(string name) { result.getAbsolutePath().replaceAll(":", "_") = name }

ql/src/ideContextual.qll

@@ -4,6 +4,9 @@
 
 import go
 
+/**
+ * Provides classes and predicates relating to flags that may indicate security expectations.
+ */
 module InsecureFeatureFlag {
   /**
    * A kind of flag that may indicate security expectations regarding the code it guards.