jetty: release date

dekellum · Jul 23, 2015 · ce1ea18 · ce1ea18
1 parent 333005e
commit ce1ea18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jetty/History.rdoc b/jetty/History.rdoc
@@ -1,4 +1,4 @@
-=== 9.3.1.0 (TBD)
+=== 9.3.1.0 (2015-7-23)
 * Update to Jetty 9.3.1.v20150714
 
 === 9.3.0.3 (2015-6-17)