From aa5b941ed5e7f34743e13dcc5e38082dde687d9f Mon Sep 17 00:00:00 2001
From: sharkdp <davidpeter@web.de>
Date: Sat, 2 Jan 2021 09:46:58 +0100
Subject: [PATCH] Add ChangeLog entry

---
 CHANGELOG.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8cdcdd7f..7681dec8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -18,6 +18,7 @@
 
 ## Syntaxes
 
+- Added Lean syntax, see #1446 (@Julian)
 - Added `.resource` extension for Robot Framework files, see #1386
 
 ## New themes