[jetty-users] jetty release announcements?

["Paul B. Henson" <henson@xxxxxxx>]

Historically new releases of jetty were announced on a mailing list; 
however, as seen in the archives:

	https://www.eclipse.org/lists/jetty-announce

The last version announced was 12.0.10 in June. Is there some other 
place we should be looking now to stay on top of new jetty releases?

Thanks...