From ec39170c977f29e69ac0ec1fcf6ed5c9c41fc21a Mon Sep 17 00:00:00 2001
From: Gernot Heiser <gernot@unsw.edu.au>
Date: Wed, 8 Jan 2025 16:12:21 +1100
Subject: [PATCH] Update release date

Signed-off-by: Gernot Heiser <gernot@unsw.edu.au>
---
 whitepaper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/whitepaper.tex b/whitepaper.tex
index 6df5de6..0d89e29 100644
--- 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}