[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix some temp file issues
From: |
Paul Smith |
Subject: |
Re: [PATCH] Fix some temp file issues |
Date: |
Tue, 18 Oct 2022 16:26:59 -0400 |
User-agent: |
Evolution 3.46.0 (by Flathub.org)) |
On Fri, 2022-10-07 at 21:37 -0700, Paul Eggert wrote:
> On 10/7/22 05:36, Eli Zaretskii wrote:
> > I'd appreciate a more high-level description of the idea of the
> > change, in addition to the gory details.
>
> I gave it a shot in the attached patch, which is an improved version
> of the previous patch.
I ended up doing something different but hopefully equivalent.
- [PATCH] Fix some temp file issues, Paul Eggert, 2022/10/07
- Re: [PATCH] Fix some temp file issues, Eli Zaretskii, 2022/10/07
- Re: [PATCH] Fix some temp file issues, Paul Eggert, 2022/10/08
- Re: [PATCH] Fix some temp file issues, Eli Zaretskii, 2022/10/08
- Re: [PATCH] Fix some temp file issues, Paul Eggert, 2022/10/08
- Re: [PATCH] Fix some temp file issues, Eli Zaretskii, 2022/10/09
- Re: [PATCH] Fix some temp file issues, Paul Eggert, 2022/10/09
- Re: [PATCH] Fix some temp file issues, Eli Zaretskii, 2022/10/09
- Re: [PATCH] Fix some temp file issues,
Paul Smith <=