From 5bcef7510d2db137fb96e512819173166fb6c1e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 7 Sep 2020 16:49:43 +0200
Subject: [PATCH] Updates the Changelog.

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

diff --git a/Changelog b/Changelog
index ee5fa2758a2..d27b67829d7 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   Eva       [2020-09-07] Deprecates legacy options aliases -val-* in favor
+              of option names -eva-*.
 -*  Slicing   [2020-09-07] Better handling of invalid command line options.
 -   Eva       [2020-07-27] Improved automatic loop unroll (-eva-auto-loop-unroll
               option) on loops with several exit conditions, conditions using
-- 
GitLab