[tor-commits] [translation/torbutton-brandproperties] Update translations for torbutton-brandproperties

[translation at torproject.org]

commit 233abdaafdfe10d6ac1a763843e164c45b322d87
Author: Translation commit bot <translation at torproject.org>
Date:   Sun Jan 20 18:17:54 2019 +0000

    Update translations for torbutton-brandproperties
---
 es/brand.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/es/brand.properties b/es/brand.properties
index 5713d26d3..6eb0bf7d1 100644
--- a/es/brand.properties
+++ b/es/brand.properties
@@ -3,8 +3,8 @@
 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
 brandShorterName=Navegador Tor
-brandShortName=Navegador Tor
-brandFullName=Navegador Tor
+brandShortName=Tor Browser
+brandFullName=Tor Browser
 vendorShortName=Proyecto Tor
 
 homePageSingleStartMain=Inicio de Firefox, una página principal rápida con búsqueda integrada