Hi Simon, thanks for the update.
> but the GNOME team doesn't really have the resources to deal with more > than one version (we'd prefer not to maintain mozjs78 either, but we Neither do I have the resources and will do deail with mozjs52, and the rest of the cinnamon team seems to have even less interest than me. I pinged upstream again, but don't bet on much move there. Since I myself are using cinnamon nowadays only sporadically, I don't see anyone taking up the ball, which means that orphaning mozjs52, and follow up removal of mozjs52 and cinnamon from testing looks like the only possible outcome. I am fine with that. Best Norbert -- PREINING Norbert https://www.preining.info Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13