search

appropriate / docker-jetty

Formerly the location of the Docker official image for Jetty
https://registry.hub.docker.com/_/jetty/
46 stars 46 forks source link

update to 9.4.13.v20181111 #97

Closed gregw closed 5 years ago

gregw commented 5 years ago

update to 9.4.13.v20181111 Signed-off-by: Greg Wilkins gregw@webtide.com

gregw commented 5 years ago

I'm going to hold off on this... as it appears that 9.4.13 may be a bad release and have a bad bug in it. Thus hopefully we will have a 9.4.14 in a day or two, and I will then progress both at the same time (as I think we should have the 9.4.13 for completeness.. just not recommend it for use in most circumstances).

md5 commented 5 years ago

@gregw I'm not sure the best way to do that and still avoid having people download it as "9.4" during a small window. Also, I think there are other gaps in the Docker image version history for this image.

I would be inclined to skip the Docker image for 9.4.13.

@tianon thoughts?

tianon commented 5 years ago

No opinion here -- if skipping 9.4.13 doesn't bother y'all, it's no problem for us. :+1:

gregw commented 5 years ago

Let's skip 13... it's really living up to it's bad luck number and is a bit of a disaster of a release on several fronts! 14 a few days away.