bug#39851: closed ([PATCH] Fix build of mozjs@17)

[GNU bug Tracking System]

Your message dated Sun, 01 Mar 2020 14:44:05 +0100
with message-id <87h7z86vh6.fsf@nckx>
and subject line Re: bug#39851: [PATCH] Fix build of mozjs@17
has caused the debbugs.gnu.org bug report #39851,
regarding [PATCH] Fix build of mozjs@17
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] Fix build of mozjs@17 Date: Sun, 01 Mar 2020 09:23:40 +0100

mozjs@17 doesn't build. This patch fixes that.

-- 
Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill

0001-gnu-mozjs-Fix-build.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: bug#39851: [PATCH] Fix build of mozjs@17 Date: Sun, 01 Mar 2020 14:44:05 +0100

Damien Cassou 写道：

mozjs@17 doesn't build. This patch fixes that.

Thanks! Pushed as 0a076f887f039449acab0fed643313425727015f with some tweaks to the commit message, mainly to note that this also (positively) affects @24.

Kind regards,

T G-R

signature.asc
Description: PGP signature

--- End Message ---