mozilla/pdf.js — pull request #4068 by yurydelendik (2014-01-03 00:49:03+00:00)
Title: Adjusts heuristic for disabling Symbol encoding

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

Caused by #1135, and similar to #2022