From ef9830693ded92daa31686c23b85cd4bb5b4b2e2 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Tue, 15 Feb 2022 14:11:12 +0100
Subject: [PATCH] Fix conf

---
 document/core/conf.py   | 2 +-
 document/core/index.rst | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/document/core/conf.py b/document/core/conf.py
index 9be3aeda3..b827de635 100644
--- a/document/core/conf.py
+++ b/document/core/conf.py
@@ -69,7 +69,7 @@
 repo = 'stack-switching'
 
 # The name of the proposal it represents, if any
-proposal = 'stack-switching'
+proposal = 'function references + tail calls + stack switching'
 
 # The draft version string (clear out for release cuts)
 draft = ' (Draft ' + date.today().strftime("%Y-%m-%d") + ')'
diff --git a/document/core/index.rst b/document/core/index.rst
index 2c49f6a89..0179df7be 100644
--- a/document/core/index.rst
+++ b/document/core/index.rst
@@ -3,7 +3,7 @@ WebAssembly Specification
 
 .. only:: html
 
-   | Release |release| + function references + tail calls + stack switching (Draft, |today|)
+   | Release |release|
 
    | Editor: Andreas Rossberg