Update release date

Signed-off-by: Gernot Heiser <gernot@unsw.edu.au>
seL4 · Jan 8, 2025 · ec39170 · ec39170
1 parent 080f8f5
commit ec39170
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/whitepaper.tex b/whitepaper.tex
@@ -115,7 +115,7 @@
   \email{gernot@sel4.systems}
 %  \docversion{Revision 1.2 of 2020-06-10} % fa89642b
 %  \docversion{Revision 1.3 of 2024-05-07} % 9fefcc9e
-  \docversion{Revision 1.4 of 2024-12-31}
+  \docversion{Revision 1.4 of 2025-01-08}
   \date{}
 
   \thispagestyle{plain}