bug#56431: closed ([PATCH] etc: teams: Add entry for jgart.)

[GNU bug Tracking System]

Your message dated Thu, 7 Jul 2022 20:28:32 +0200
with message-id <Yscl0FwCYTBqDiXk@noor.fritz.box>
and subject line Re: [bug#56431] [PATCH v2] etc: teams: Add entry for jgart.
has caused the debbugs.gnu.org bug report #56431,
regarding [PATCH] etc: teams: Add entry for jgart.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56431: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56431
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] etc: teams: Add entry for jgart.
>
>
>
>
> Date: 
>
> Wed,  6 Jul 2022 16:22:04 -0500
>
>
>
>
> * etc/teams.scm.in ("jgart"): New member.
> ---
>  etc/teams.scm.in | 4 ++++
>  1 file changed, 4 insertions(+)
>
> diff --git a/etc/teams.scm.in b/etc/teams.scm.in
> index 67c6ff7f8c..2fcdde0d92 100644
> --- a/etc/teams.scm.in
> +++ b/etc/teams.scm.in
> @@ -195,6 +195,10 @@ (define-member (person "Efraim Flashner"
>                         "efraim@flashner.co.il")
>    embedded-bootstrap julia rust science)
>  
> +(define-member (person "jgart"
> +                       "jgart@dismail.de")
> +  python lisp)
> +
>  (define-member (person "Julien Lepiller"
>                         "julien@lepiller.eu")
>    java ocaml translations)
> -- 
> 2.36.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#56431] [PATCH v2] etc: teams: Add entry for jgart.
>
>
>
>
> Date: 
>
> Thu, 7 Jul 2022 20:28:32 +0200
>
>
>
>
> Hi,
>
> done:
>
> 3e8a1e8f25cea57ebaa6cd9ba41e4aa507148503 etc: teams: Add entry for jgart.
>
> Cheers,
> Lars
>
>
> --- End Message ---