Re: MPS: Update

[Eli Zaretskii <eliz@gnu.org>]

> From: Gerd Möllmann <gerd.moellmann@gmail.com>
> Cc: Emacs Devel <emacs-devel@gnu.org>
> Date: Wed, 12 Jun 2024 06:45:06 +0200
> 
> Helmut Eller <eller.helmut@gmail.com> writes:
> 
> > On Mon, Jun 10 2024, Gerd Möllmann wrote:
> >
> >> I now have code to copy the dump to MPS in my fork at
> >>
> >>   https://github.com/gerd-moellmann/emacs-with-cl-packages/tree/igc
> >>
> >> The whole copying and so on takes a total of 0.032s with an optimized
> >> build on my machine. The hot part of the dump is discarded after the
> >> copy.
> >>
> >> I've not transferred that to GNU because I'm now through with it, for
> >> the time being. I can't see it anymore. Please anyone feel free to
> >> transfer this to GNU, but keep in mind that I don't have obarrays and
> >> pure space in my fork, so some work will certainly have to be done to
> >> make it work.
> >
> > Here are some patches for obarrays and pure space.  I wrote them after
> > cherry picking these revisions from your repo:
> >
> >   git cherry-pick ce3380d6d8102dd0b704^..5bfc127264bf0f2e4f2fb92
> 
> Thanks! "Merged" in and pushed.

Did you forget to push?  I don't see any commit on the igc branch
after June 4.