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

[translation at torproject.org]

commit 9fbd93711fe997a7047b17cc7a5c06c1be8b0d11
Author: Translation commit bot <translation at torproject.org>
Date:   Thu Mar 14 10:18:34 2019 +0000

    Update translations for torbutton-branddtd_completed
---
 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.">