mozilla/pdf.js — pull request #1964 by gigaherz (2012-08-07 23:55:27+00:00)
Title: Improved page tracking on scrolling [squashed]

Same as #1928, but in a single commit.