bug#22687: Online manual not updated automatically

Wed, 31 Jul 2019 10:47:14 -0700 

On Wed, Jul 31, 2019 at 05:31:59PM +0200, Julien Lepiller wrote:
> We now have guix.gnu.org/manual and /manual/devel, which I think implements 
> this issue. Should we close it now?

Yes :)

Thanks for the reminder

Reply via email to