Re: MPS and pgtk

[Gerd Möllmann]

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.