From ee4be605e04e738bd1c683613270efc75cbaa6b4 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 1 Oct 2020 19:10:34 +0200
Subject: [PATCH] Update Changelog after merging !2848

---
 Changelog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Changelog b/Changelog
index 8b87a700230..047e4197707 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   Metrics   [2020-10-01] Distinguish between undefined but specified functions
+              and functions with neither definition nor specification.
 -*  Eva       [2020-09-28] Improved string builtins on wide strings: crash fixed,
               better performance, misaligned pointers now considered invalid.
 -   Kernel    [2020-09-22] New option -autocomplete p1, ..., pn that list the
-- 
GitLab