Re: MPS and pgtk

[Gerd Möllmann]

Gerd Möllmann <gerd.moellmann@gmail.com> writes:

> Helmut Eller <eller.helmut@gmail.com> writes:
>
>> On Thu, Jun 27 2024, Eli Zaretskii wrote:
>>
>>> Jeff's assignment is on file, so no copyright issues here.
>>>
>>> I installed the change on the branch.
>>
>> Here's another one that is needed to avoid crashes when pressing the
>> scrollbar.  The other patch is for the tty version; it has nothing to do
>> with pgtk.
>
> Thanks, and almost pushed, but gnu.org seems to be down again.

And pushed.