Subject: Re: [bug#56431] [PATCH v2] etc: teams: Add entry for jgart.
From: Lars-Dominik Braun <[email-masked]>
To: jgart <[email-masked]>
Cc: [email-masked]
Date: Thu, 7 Jul 2022 20:28:32 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

done:

3e8a1e8f25cea57ebaa6cd9ba41e4aa507148503 etc: teams: Add entry for jgart.

Cheers,
Lars