From 2bc7c374561d88319efb4d20ce464ee5d63a4680 Mon Sep 17 00:00:00 2001
From: toy <toy>
Date: Tue, 18 Mar 2003 18:03:45 +0000
Subject: [PATCH] Update date to current "release" date.  Put release number in
 as well.

---
 docs/cmu-user/cmu-user.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/cmu-user/cmu-user.tex b/docs/cmu-user/cmu-user.tex
index 69b2fc224..c2c0519c7 100644
--- a/docs/cmu-user/cmu-user.tex
+++ b/docs/cmu-user/cmu-user.tex
@@ -50,7 +50,9 @@ language implementation, programming environment}
 \begin{document}
 
 \date{\bigskip % \today %% Don't usually want that!
-  October 31, 2002
+  % Use the release date, whatever that might be
+  March 18, 2003 \\
+  Release 18e 
   \\
   \vspace{0.5in} \textbf{Abstract} \medskip
   \begin{quote}
-- 
GitLab