mozilla/pdf.js — pull request #5245 by Snuffleupagus (2014-08-29 12:20:15+00:00)
Title: Further amend GlyphMapForStandardFonts (issue 5244)

(The same approach as in PR #4716.)

If these kind of issue becomes a lot more common, we might want to consider including the entire map. For now, I think it's OK to just add the missing mappings when we come across a broken file.

Fixes #5244.