mozilla/pdf.js — pull request #3869 by yurydelendik (2013-10-31 15:34:32+00:00)
Title: Renames Symbol encoding name.

Fixes #2797