Bug#876966: marked as pending in ben

[Mehdi Dogguy]

On 2021-01-05 22:07, Christoph Berg wrote:

Re: Mehdi Dogguy

Bug #876966 in ben reported by you has been fixed in the
Git repository and is awaiting an upload. You can see the commit

I pulled scripts.js manually and change works nicely. Thanks!

Thanks a lot for checking, Christoph!

Happy new year,

--
Mehdi