mozilla/pdf.js — pull request #2303 by yurydelendik (2012-10-24 15:50:41+00:00)
Title: Fixes getNumber at the end of stream

Fixes #1471 #1128 #2276