On 2021-01-05 22:07, Christoph Berg wrote:
Re: Mehdi DogguyBug #876966 in ben reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commitI pulled scripts.js manually and change works nicely. Thanks!
Thanks a lot for checking, Christoph! Happy new year, -- Mehdi