From 188532b0b32c805afdce4f9a738eaeacd33909b4 Mon Sep 17 00:00:00 2001 From: Paul Zimmermann <Paul.Zimmermann@inria.fr> Date: Mon, 2 Sep 2024 13:57:31 +0200 Subject: [PATCH] address a comment from Jerome BENOIT (debian maintainer) --- ChangeLog | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 2fc04615..4ae92688 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1 +1,2 @@ -see "git log" +see NEWS and for more details, "git log" from the git repository +(git clone https://gitlab.inria.fr/zimmerma/ecm.git) -- GitLab