Bug#1016878: mozjs91: no longer needed

2022-08-08 Thread Simon McVittie 
Control: severity -1 important

On Mon, 08 Aug 2022 at 13:55:35 -0400, Jeremy Bicha wrote:
> gjs 1.73.2 has switched from mozjs91 to mozjs102. Once we update our
> gjs packaging, there won't be anything in Debian using mozjs91.

This seems a little premature. Let's not make mozjs91 (and gjs, and GNOME)
RC-buggy until we're actually using mozjs102, which as far as I can see
isn't in NEW yet.

smcv

Processed: Re: Bug#1016878: mozjs91: no longer needed

2022-08-08 Thread Debian Bug Tracking System 
Processing control commands:

> severity -1 important
Bug #1016878 [src:mozjs91] mozjs91: no longer needed
Severity set to 'important' from 'serious'

-- 
1016878: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1016878
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Bug#1016878: mozjs91: no longer needed

2022-08-08 Thread Jeremy Bicha 
Source: mozjs91
Severity: serious
Version: 91.10.0-1

gjs 1.73.2 has switched from mozjs91 to mozjs102. Once we update our
gjs packaging, there won't be anything in Debian using mozjs91.

However, maybe Cinnamon will switch from mozjs78?

Thank you,
Jeremy Bicha