[jetty-dev] bug id 3133 & new Jetty release

[Michele Rossi <michele.rossi@xxxxxxxxx>]

hi all,

we are being hit by https://github.com/eclipse/jetty.project/issues/3133 and were wondering whether a new release will be made available soon (we know that that issue is fixed on trunk) or not.

This is just to decide on whether to create our own fork / jetty build or wait a bit longer until a new version is released.

thanks a lot,

Michele