[debbugs-tracker] bug#33538: closed (gnu: Add missing patch to local.mk.)

[GNU bug Tracking System]

Your message dated Thu, 29 Nov 2018 09:31:52 +0100
with message-id <address@hidden>
and subject line Re: [bug#33538] gnu: Add missing patch to local.mk.
has caused the debbugs.gnu.org bug report #33538,
regarding gnu: Add missing patch to local.mk.
to be marked as done.

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


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

--- Begin Message --- Subject: gnu: Add missing patch to local.mk. Date: Wed, 28 Nov 2018 12:55:11 +0100 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:64.0) Gecko/20100101 Thunderbird/64.0

Hi,

it was forgotten to add the patch to gnu/local.mk. This break guix weather.

Jonathan

0001-gnu-Add-missing-patch-to-local.mk.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#33538] gnu: Add missing patch to local.mk.
>
>
>
>
> Date: 
>
> Thu, 29 Nov 2018 09:31:52 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Hi Jonathan,
>
> Jonathan Brielmaier <address@hidden> skribis:
>
> >>From f7bda9bb40750f4867bf3bb6569d97129e24b07c Mon Sep 17 00:00:00 2001
> > From: Jonathan Brielmaier <address@hidden>
> > Date: Wed, 28 Nov 2018 12:49:06 +0100
> > Subject: [PATCH] gnu: Add missing patch to local.mk.
> >
> > This was forgotten in 082d9383d1475b772f104f1a6b363e4c80d91cf9.
> >
> > * gnu/lokal.mk (dist_patch_DATA): Add "ghc-haddock-library-unbundle.patch".
>
> Good catch.  Committed, thanks!
>
> Ludo’.
>
>
> --- End Message ---