bug#40795: closed ([PATCH 0/1] Export license record)

[GNU bug Tracking System]

Your message dated Thu, 23 Apr 2020 16:30:05 +0200
with message-id <address@hidden>
and subject line Re: [bug#40795] [PATCH 1/1] licenses: Add license record to 
the export list.
has caused the debbugs.gnu.org bug report #40795,
regarding [PATCH 0/1] Export license record
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
40795: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40795
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/1] Export license record
>
>
>
>
> Date: 
>
> Thu, 23 Apr 2020 16:06:51 +0200
>
>
>
>
> Dear,
>
> This tiny trival patch export the license record to be able to define custom 
> licenses in custom channels.
>
>
> All the best,
> simon
>
> zimoun (1):
>   licenses: Add license record to the export list.
>
>  guix/licenses.scm | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> -- 
> 2.26.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#40795] [PATCH 1/1] licenses: Add license record to the export list.
>
>
>
>
> Date: 
>
> Thu, 23 Apr 2020 16:30:05 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Pushed, thanks!
>
> Mathieu
>
>
> --- End Message ---