Subject: Re: bug#77315: 31.0.50; Crash in Finsert_file_contents, file size changed

From: Paul Eggert <[email-masked]>
Date: Mon, 14 Apr 2025 11:53:40 -0700

On 2025-04-13 00:12, Eli Zaretskii wrote:
>>> I drafted something a while ago along those lines but never got around
>>> to finish it. I'll try to bump the priority.
>> Thanks in advance.
> Did you have a chance to make some progress in this matter?

Not yet. Still on my list of things to do (but below filing taxes...).