mozilla/input.mozilla.org — pull request #64 by solarce (2013-03-04 17:43:23+00:00)
Title: Update update_prod.sh

tweak to make work properly with old prod file paths :/