tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From rmaucher <...@git.apache.org>
Subject [GitHub] tomcat issue #73: Bug 57767 - Websocket client proprietary configuration
Date Fri, 13 Oct 2017 11:57:58 GMT
Github user rmaucher commented on the issue:

    https://github.com/apache/tomcat/pull/73
  
    Well, it looks ok to me overall, so I'll add a bit of javadoc and merge it. Any issue
with backporting it ?


---

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


Mime
View raw message