mozilla/pdf.js — pull request #2381 by brendandahl (2012-11-14 01:00:24+00:00)
Title: Use high dpi display hack for printing too.

Improves printing output on windows until https://bugzilla.mozilla.org/show_bug.cgi?id=811002 is fixed.

**Let's give the above bug until Thursday before we merge this PR.**