linuxmint/Cinnamon — pull request #2131 by leigh123linux (2013-06-04 12:02:22+00:00)
Title: Fix build error so cinnamon compiles with mozjs-17

https://mail.gnome.org/archives/desktop-devel-list/2013-March/msg00135.html

Fixes #2113