diff options
| author | sebright <sebright@google.com> | 2019-09-11 17:48:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-11 17:48:48 -0700 |
| commit | 12e176ddd089a598b4c7bb5a3bcf78e7bfc17b0e (patch) | |
| tree | 5ce03f3c47f35169875d7671b1dfb753dff5893e | |
| parent | c960b19889de5e4a7b25f90919d28b066590d4f0 (diff) | |
| download | platform_external_opencensus-java-12e176ddd089a598b4c7bb5a3bcf78e7bfc17b0e.tar.gz platform_external_opencensus-java-12e176ddd089a598b4c7bb5a3bcf78e7bfc17b0e.tar.bz2 platform_external_opencensus-java-12e176ddd089a598b4c7bb5a3bcf78e7bfc17b0e.zip | |
Checker Framework: 2.10.0 -> 2.10.1 (#1977)
| -rw-r--r-- | build.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.gradle b/build.gradle index 0d6daa4c..1758a65e 100644 --- a/build.gradle +++ b/build.gradle @@ -252,7 +252,7 @@ subprojects { dependencies { if (useCheckerFramework) { - ext.checkerFrameworkVersion = '2.10.0' + ext.checkerFrameworkVersion = '2.10.1' // 2.4.0 is the last version of the Checker Framework compiler that supports annotations // in comments, though it should continue to work with newer versions of the Checker Framework. |