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

[GNU bug Tracking System]

Your message dated Tue, 15 Jan 2019 11:54:35 +0200
with message-id <address@hidden>
and subject line Re: [bug#34081] gnu: Add missing patch to local.mk.
has caused the debbugs.gnu.org bug report #34081,
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)


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

--- Begin Message --- Subject: gnu: Add missing patch to local.mk. Date: Tue, 15 Jan 2019 10:22:57 +0100 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.3

Hi,

there was again a patch forgotten to add to gnu/local.mk which breaks
guix weather. This time it was Rutger Helling in
ab533c613ee2a44595786a6aca0b958f9f7f1dd9.

~Jonathan

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

--- End Message ---

--- Begin Message --- Subject: Re: [bug#34081] gnu: Add missing patch to local.mk. Date: Tue, 15 Jan 2019 11:54:35 +0200 User-agent: Mutt/1.11.0 (2018-11-25)

Pushed as 4deeb1ed067ff572e775eb2977cfbbd7411ee67a


-- 
Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---