]> git.parisson.com Git - pdf.js.git/commitdiff
Merge pull request #420 from vingtetun/master
authorChris Jones <jones.chris.g@gmail.com>
Thu, 1 Sep 2011 03:03:38 +0000 (20:03 -0700)
committerChris Jones <jones.chris.g@gmail.com>
Thu, 1 Sep 2011 03:03:38 +0000 (20:03 -0700)
Workaround for issue #319


Trivial merge