mozilla/input.mozilla.org — pull request #59 by solarce (2012-12-05 05:26:17+00:00)
Title: Update scripts/update_prod.sh

Tweaks for current prod, should be retired soon, then we delete these!