mozilla/pdf.js — pull request #3822 by Snuffleupagus (2013-10-17 20:57:18+00:00)
Title: Fix bot breakage caused by Chromium extension PR

Fix bot breakage caused by PR #3751.