From d3c491ed20917189607c3be5af8e8ce1e05ae7ee Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Jan 2023 00:19:01 +0100
Subject: [PATCH] I forgot Luca among the authors!

---
 matita/dune-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/dune-project b/matita/dune-project
index 4dbce59a9..90a0849b1 100644
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -9,7 +9,7 @@
 (source
  (uri http://matita.cs.unibo.it/download.shtml))
 
-(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
+(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
 
 (maintainers "Claudio Sacerdoti Coen")
 
-- 
2.39.2