pingidentity/browser-extensions — pull request #7 by reinaldo13 (2014-10-23 15:59:33+00:00)
Title: Support Firefox 33 with Add-on SDK 1.17

Bringing a critical fix from the trigger-corp repo