[GitHub] [tomcat] ChristopherSchultz commented on a diff in pull request #523: Polished.

[GitBox <gi...@apache.org>]

ChristopherSchultz commented on code in PR #523:
URL: https://github.com/apache/tomcat/pull/523#discussion_r936904336


##########
java/org/apache/catalina/core/ApplicationPushBuilder.java:
##########
@@ -26,6 +26,7 @@
 import java.util.Locale;
 import java.util.Map;
 import java.util.Set;
+import java.util.StringJoiner;

Review Comment:
   Just a note: this cannot be back-ported to Tomcat 8.5.x because it must be buildable and runnable on Java 7.



-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org