Hi,
For more context, see:
https://issues.guix.gnu.org/issue/36374
On Thu, 23 Jun 2022 at 11:30, zimoun <[email protected]> wrote:
> On Thu, 24 Mar 2022 at 09:37, Ludovic Courtès <[email protected]> wrote:
>>> What do we do? Include the proposed patch? Other ideas?
>>
>> I think the initial patch doesn’t work reliably, as I wrote back then,
>> but something like that might work. Julien?
>
> Friendly ping. :-)
Well, if there is no activity, I’m in favor to close this submission.
WDYT?
Cheers,
simon
