diff --git a/dev-ml/mirage-clock-unix/metadata.xml b/dev-ml/mirage-clock-unix/metadata.xml index 4cbec58af6..5c0849326b 100644 --- a/dev-ml/mirage-clock-unix/metadata.xml +++ b/dev-ml/mirage-clock-unix/metadata.xml @@ -2,7 +2,7 @@ - co-maintainers welcome + co-maintainers welcome lssndrbarbieri@gmail.com Alessandro Barbieri