bug#48187: closed ([PATCH] website: help: Add Guix's latest manual)

[GNU bug Tracking System]

Your message dated Tue, 4 May 2021 16:33:09 +0200
with message-id <20210504143309.kuohokoadwsdlxmf@pelzflorian.localdomain>
and subject line Re: [bug#48187] [PATCH] website: help: Add Guix's latest manual
has caused the debbugs.gnu.org bug report #48187,
regarding [PATCH] website: help: Add Guix's latest manual
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
48187: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=48187
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- 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 ---