mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-29 22:31:01 +02:00
*Please note:* I don't really know what I'm doing here, however the patch appears to fix the referenced issue when comparing the rendering with Adobe Reader (with the caveat that I don't speak the language in question).