|
From: | Gerd Möllmann |
Subject: | Re: MPS: Update |
Date: | Wed, 12 Jun 2024 10:00:57 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes: >> Thanks! "Merged" in and pushed. > > Did you forget to push? I don't see any commit on the igc branch > after June 4. The patches were for my fork.
[Prev in Thread] | Current Thread | [Next in Thread] |