Diff - 74bda36250254a3bdbefec473d4ee5f5fef96d81^2..74bda36250254a3bdbefec473d4ee5f5fef96d81 - gerrit - Git at Google

commit: 74bda36250254a3bdbefec473d4ee5f5fef96d81
[log]
author: Luca Milanesio <luca.milanesio@gmail.com>
Sat Dec 23 23:47:57 2023 +0000
committer: Gerrit Code Review <noreply-gerritcodereview@google.com>
Sat Dec 23 23:47:57 2023 +0000
tree: aaa15f6a3ea47ba0cb9bc4e04467474083584740
parent: 3ad2e60fbc43a51b844787f4f9ef3e61124bfd98 [diff]
parent: 10283206c8641cf096738ab84e4e7cc766e24472 [diff]

Merge "Merge branch 'stable-3.5' into stable-3.6" into stable-3.6

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

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