Subject: Re: [bug#31346] [PATCH] gnu: gnuzilla: Add mozjs-52.
From: Leo Famulari <[email-masked]>
To: Roel Janssen <[email-masked]>
Cc: Ludovic Courtès <[email-masked]>, [email-masked]
Date: Wed, 29 Aug 2018 16:57:30 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Mozjs-52 was added in commit 192a59d0f6d7f8f549c0c8225ceef999cff65d31.

Closing the bug...