From d3e1aef2d3e6bdfd85a2d42c0cfc30bcc77f0175 Mon Sep 17 00:00:00 2001
From: jos <wjosdejong@gmail.com>
Date: Sun, 20 Oct 2019 23:02:30 +0200
Subject: [PATCH] Update history

---
 HISTORY.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/HISTORY.md b/HISTORY.md
index b29707e..09c8ba1 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -6,6 +6,8 @@ https://github.com/josdejong/jsoneditor
 ## not yet published, version 7.2.0
 
 - Implemented Japanese translation (`ja`). Thanks @yutakiyama.
+- Implemented French translation (`fr-FR`), and some improvements in the
+  translation. Thanks @yannickyvin.
 
 
 ## 2019-10-13, version 7.1.0