Subject: Website manual generation stopped
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Fri, 19 Nov 2021 10:11:19 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing since the website manual is now up to date :)