On 14/11/2022 01:21, Jesse McConnell wrote:
If you open up a issue on the issue tracker, I'll take a look at adding that into the script. We have it all there, we can tarball it and put it someplace for folks.
Thanks Jesse, I've just raised issue #8895 on GitHub. _______________________________________________ jetty-users mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jetty-users
