Merge branch 'master' of github.com:google/mug

google · Nov 30, 2023 · c29cd43 · c29cd43
2 parents 7f20371 + e10a1c6
commit c29cd43
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/...enchmarks/ExceptionWrappingBenchmark.java → ...gle/mu/benchmarks/ExceptionBenchmark.java b/...enchmarks/ExceptionWrappingBenchmark.java → ...gle/mu/benchmarks/ExceptionBenchmark.java
diff --git a/mug-errorprone/BUILD b/mug-errorprone/BUILD
@@ -66,6 +66,7 @@ junit_tests(
     deps = [
         ":errorprone",
         "//mug:format",
+        "//mug-guava:safe_sql",
         "@maven//:com_google_guava_guava",
         "@maven//:com_google_guava_guava_testlib",
         "@maven//:com_google_truth_truth",

diff --git a/pom.xml b/pom.xml
@@ -276,7 +276,7 @@
         <groupId>org.apache.maven.plugins</groupId>
         <artifactId>maven-javadoc-plugin</artifactId>
         <configuration>
-          <additionalparam>-Xdoclint:none</additionalparam>
+          <doclint>none</doclint>
         </configuration>
         <executions>
           <!-- always deploy sources on Nexus -->