[debbugs-tracker] bug#31346: closed ([PATCH] gnu: gnuzilla: Add mozjs-52.)

[GNU bug Tracking System]

Your message dated Wed, 29 Aug 2018 16:57:30 -0400
with message-id <address@hidden>
and subject line Re: [bug#31346] [PATCH] gnu: gnuzilla: Add mozjs-52.
has caused the debbugs.gnu.org bug report #31346,
regarding [PATCH] gnu: gnuzilla: Add mozjs-52.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: gnuzilla: Add mozjs-52. Date: Wed, 02 May 2018 23:19:16 +0200 User-agent: mu4e 1.0; emacs 25.3.1

Dear Guix,

I'd like to add ‘mozjs-52’ because an updated version of ‘gjs’ needs
it.  I copied most of the recipe for mozjs-38, removing the bits
that aren't relevant anymore.

Kind regards,
Roel Janssen

0001-gnu-gnuzilla-Add-mozjs-52.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#31346] [PATCH] gnu: gnuzilla: Add mozjs-52. Date: Wed, 29 Aug 2018 16:57:30 -0400 User-agent: Mutt/1.10.1 (2018-07-13)

Mozjs-52 was added in commit 192a59d0f6d7f8f549c0c8225ceef999cff65d31.

Closing the bug...

signature.asc
Description: PGP signature

--- End Message ---