Subject: Website manual generation stopped
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Wed, 24 Jul 2019 13:10:06 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi guix, it seems that the devel version of the manual is not regenerated as intended. The website says that it's still from July 18th.