[tor-commits] [translation/https_everywhere_completed] Update translations for https_everywhere_completed

[translation at torproject.org]

commit c35b7dbaf3768336ae6770f3453607a6936b86a1
Author: Translation commit bot <translation at torproject.org>
Date:   Thu Aug 1 22:16:13 2013 +0000

    Update translations for https_everywhere_completed
---
 fr/https-everywhere.properties |    1 +
 1 file changed, 1 insertion(+)

diff --git a/fr/https-everywhere.properties b/fr/https-everywhere.properties
index 300d58b..fc5cf0e 100644
--- a/fr/https-everywhere.properties
+++ b/fr/https-everywhere.properties
@@ -4,3 +4,4 @@ https-everywhere.menu.enableDisable = Activer / Désactiver les règles
 https-everywhere.menu.noRules = (Aucune règle pour cette page)
 https-everywhere.menu.unknownRules = (Règles inconnues pour cette page)
 https-everywhere.toolbar.hint = HTTPS Everywhere est désormais actif. Vous pouvez l'activer sur les sites au cas par cas en cliquant sur l'icône dans la barre d'adresse.
+https-everywhere.migration.notification0 = Afin d'appliquer un correctif crucial, cette mise à jour réinitialise vos règles de préférences HTTPS Everywhere, à leurs valeurs par défaut.