mozilla/pdf.js — pull request #3135 by Snuffleupagus (2013-04-22 16:51:05+00:00)
Title: Workaround for issue 3068

Fixes issue #3068.
As I said in an earlier [comment](https://github.com/mozilla/pdf.js/issues/3068#issuecomment-16660909), I'm not sure if this is the best solution, but it does fix the issue.