From 9844704567bdaa72397542cdefe972a7ca29e3f3 Mon Sep 17 00:00:00 2001 From: r-ricci Date: Wed, 23 Aug 2023 11:31:48 +0000 Subject: [PATCH] docs: remove contributor's old email --- bin/.ignore-emails | 1 + docs/content/authors.md | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/.ignore-emails b/bin/.ignore-emails index b88a3e1c2..449c2c736 100644 --- a/bin/.ignore-emails +++ b/bin/.ignore-emails @@ -6,3 +6,4 @@ + diff --git a/docs/content/authors.md b/docs/content/authors.md index af70443a0..2f1a3a1e4 100644 --- a/docs/content/authors.md +++ b/docs/content/authors.md @@ -541,7 +541,6 @@ put them back in again.` >}} * Chris Nelson * Felix Bünemann * Atílio Antônio - * Roberto Ricci * Carlo Mion * Chris Lu * Vitor Arruda