emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: MPS: Update


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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]