--- Begin Message ---
Subject: |
[PATCH] website: help: Add Guix's latest manual |
Date: |
Mon, 03 May 2021 14:07:12 +0000 |
Hi,
This patch adds the latest manual to the help page and a corresponding entry to
the Help menu.
---
Luis Felipe López Acevedo
https://luis-felipe.gitlab.io/
0001-website-help-Add-Guix-s-latest-manual.patch
Description: Text Data
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#48187] [PATCH] website: help: Add Guix's latest manual |
Date: |
Tue, 4 May 2021 16:33:09 +0200 |
Pushed as f2152c8d76d59d4522ea3cf9a379d935338f57fa.
On Tue, May 04, 2021 at 02:00:43PM +0000, Luis Felipe wrote:
> Well, if that's legally suitable, it's fine by me, because, yes, I still
> waive all copyright interest on my contributions to the website :)
Probably it has legal weight (if not we’d have to change other files
too). I’m not familiar enough with the difference between public
domain declarations and CC0 in the various jurisdictions.
> I think it's OK, Florian. Thanks for your help.
Thank you for all your contributions!
Regards,
Florian
--- End Message ---