|
From: | GNU bug Tracking System |
Subject: | bug#63521: closed (Request for merging "tex-team" branch) |
Date: | Sun, 11 Jun 2023 16:19:01 +0000 |
Your message dated Sun, 11 Jun 2023 18:18:04 +0200 with message-id <87ilbuas77.fsf@nicolasgoaziou.fr> and subject line Re: [bug#63521] Request for merging "tex-team" branch has caused the debbugs.gnu.org bug report #63521, regarding Request for merging "tex-team" branch to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 63521: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63521 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: Request for merging "tex-team" branch Date: Mon, 15 May 2023 17:48:05 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) Hello, I'd like the current "tex-team" to be merged into master. AFAIK, there are no blockers yet. Regards, -- Nicolas Goaziou
--- End Message ---
--- Begin Message ---Subject: Re: [bug#63521] Request for merging "tex-team" branch Date: Sun, 11 Jun 2023 18:18:04 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) Hello, Christopher Baines <mail@cbaines.net> writes: > I think tex-team is good to merge. I concur. Merged. Thank you. Regards, -- Nicolas Goaziou
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |