proper version;

seL4 · May 21, 2019 · 5b13f65 · 5b13f65
1 parent a5d92e9
commit 5b13f65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ANNOUNCE b/ANNOUNCE
@@ -1,4 +1,4 @@
-Subject: Announcing Isabelle2018
+Subject: Announcing Isabelle2019
 To: isabelle-users@cl.cam.ac.uk
 
 Isabelle2019 is now available.