mozilla/pdf.js — pull request #3007 by brendandahl (2013-03-28 22:06:08+00:00)
Title: Fix encoding of type1 private dictionary arrays.

Code taken from #2864. Just curios if it changes anything.