From 2cbcc2345ea559edd53a59ef999c22d571daba58 Mon Sep 17 00:00:00 2001 From: Antonio Sartori Date: Tue, 3 May 2022 05:35:04 +0000 Subject: [PATCH] Add Antonio Sartori as editor (#543) SHA: e889e8cb10dfdf3c7a99877fd1141b9697160de8 Reason: push, by @mikewest Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- index.html | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/index.html b/index.html index 70dce2aade..19240770e0 100644 --- a/index.html +++ b/index.html @@ -8,7 +8,7 @@ - +