Subject: Re: bug#73199: url-retrieve is not thread-safe

From: Eli Zaretskii <[email-masked]>
Date: Thu, 10 Oct 2024 16:10:29 +0300

> From: Michael Albinus <[email-masked]>
> Cc: [email-masked],  [email-masked],  [email-masked],
>   [email-masked]
> Date: Thu, 10 Oct 2024 13:29:42 +0200
> 
> Ping. Any comments? Otherwise, I'll install the patch in a couple of days.

Sorry, too much stuff on my table.

Please go ahead and install, I think the patch is okay.  (I presume
you know about set-process-thread, and that it doesn't help in this
scenario?)