From b8f31f0eb0df6447c5d7ffa6d58b19bd4e9191d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hans-J=C3=B6rg=20Schurr?= <hansjoerg-schurr@uiowa.edu>
Date: Fri, 10 Feb 2023 10:49:02 -0600
Subject: [PATCH] Set 0.3 release date to today
---
spec/changelog.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/spec/changelog.tex b/spec/changelog.tex
index 7abf178..a058885 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -1,4 +1,4 @@
-\subsection*{0.3 --- Unreleased}
+\subsection*{0.3 --- \DTMdisplaydate{2023}{02}{10}{-1}}
This release overhauls the entire document, but introduces only few
changes to the proof format itself.
--
GitLab