mozilla/pdf.js — pull request #3952 by Rob--W (2013-11-22 10:46:34+00:00)
Title: [CRX] Reload extension tab after session restore

Fixes https://github.com/operasoftware/pdf.js/issues/14