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

[translation at torproject.org]

commit 9c14fedb9e99670336e42c632dc5ddd0a36e4d78
Author: Translation commit bot <translation at torproject.org>
Date:   Sun Jan 20 18:18:00 2019 +0000

    Update translations for torbutton-brandproperties_completed
---
 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