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

[translation at torproject.org]

commit 0fc8d00db6d1113f51bbfbd0490d78dba0e2c922
Author: Translation commit bot <translation at torproject.org>
Date:   Thu Mar 14 10:18:28 2019 +0000

    Update translations for torbutton-branddtd
---
 fr/brand.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fr/brand.dtd b/fr/brand.dtd
index 6af6d4f4c..914091b93 100644
--- a/fr/brand.dtd
+++ b/fr/brand.dtd
@@ -3,7 +3,7 @@
    - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
 
 <!ENTITY  brandShorterName      "Navigateur Tor">
-<!ENTITY  brandShortName        "Navigateur Tor">
+<!ENTITY  brandShortName        "Tor Browser">
 <!ENTITY  brandFullName         "Navigateur Tor">
 <!ENTITY  vendorShortName       "Le Projet Tor">
 <!ENTITY  trademarkInfo.part1   "Firefox et les logos de Firefox sont des marques de commerce de la Fondation Mozilla.">