On Fri, Jan 14, 2022 at 11:32 PM Mark Thomas <ma...@apache.org> wrote: > > On 13/01/2022 13:44, Christopher Schultz wrote: > > > The proposed 8.5.74 release is: > > [X] Broken - do not release > > [ ] Stable - go ahead and release as 8.5.73 (stable) > > I have discovered HTTP/2 server push was broken. > > This is minor for 8.5.x since server push isn't available via the > Servlet API. You have to cast a request to the Tomcat facade and then > use Tomcat's ApplicationPushBUilder.
I doubt this is actually used with 8.5, the early adopters will have moved to 9 by now. Also push is actually not seen very favorably anymore from what I understand. So I'm unsure about that. Rémy > > An argument could be made for releasing anyway with this bug but I'm > leaning towards a new tag. > > Mark > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > For additional commands, e-mail: dev-h...@tomcat.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
