[tor-commits] [bridgedb/develop] Merge branch 'translations/2014-07-25' into develop