(In reply to comment #30) > > Since we're deliberately changing the name, maybe libspidermonkey is a better > name? I agree that putting 185 in the name isn't good. When we change to > 1.9.0, > would we have to change the SO name? That can't be right.
I don't think it matters a lot, honestly. I really would rather we ship. libspidermonkey does make more sense to me though if someone cares to rework the tree though, so we're *very* clearly distinguished from --enable-shared-js from mozilla-central. > I believe that the 1.8.5 numbering scheme is a pretty bad one, and is only > there because of history. Perhaps we should change it; maybe to the Firefox > version number or the Gecko one. So combining, you're proposing libspidermonkey-4.so ? -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-python-extras in Ubuntu. https://bugs.launchpad.net/bugs/740815 Title: [FFe] Updates to enable us to drop xulrunner from main -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
