Subject: Re: bug#39851: [PATCH] Fix build of mozjs@17
From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked]
Date: Sun, 01 Mar 2020 14:44:05 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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