Diff - d8d7a995c5867324e89f57ddb25bf93cecbfe018^1..d8d7a995c5867324e89f57ddb25bf93cecbfe018 - gerrit - Git at Google

commit: d8d7a995c5867324e89f57ddb25bf93cecbfe018
[log]
author: Nasser Grainawi <nasser.grainawi@linaro.org>
Thu Dec 14 21:22:00 2023 +0000
committer: Gerrit Code Review <noreply-gerritcodereview@google.com>
Thu Dec 14 21:22:00 2023 +0000
tree: e16b8896d1d9c1858347e67c16f610c31ba81d10
parent: cac109b0af1545bf06acdc0a5f8130d3a066fbb1 [diff]
parent: 6c3d618538e35e6ca28eadc80eb37c52167db963 [diff]

Merge "Enforce Java 11 source version with JDK17" into stable-3.6

diff --git a/tools/BUILD b/tools/BUILD
index 26db1fa..6b81871 100644
--- a/tools/BUILD
+++ b/tools/BUILD

@@ -25,7 +25,7 @@
     package_configuration = [
         ":error_prone",
     ],
-    source_version = "17",
+    source_version = "11",
     target_version = "17",
     visibility = ["//visibility:public"],
 )