[tbb-commits] [torbutton/master] Bug 16797: brandShorterName is missing from brand.properties.