REV=a112cbb2288e
REPO=http://hg.mozilla.org/releases/mozilla-esr17