mozilla/pdf.js — pull request #4578 by Snuffleupagus (2014-04-08 21:19:09+00:00)
Title: Workaround for cases where FontName in the FontDescriptor differs from BaseFont in the Font (bug 847420)

Fixes https://bugzilla.mozilla.org/show_bug.cgi?id=847420.