Flávio Cruz, le dim. 24 sept. 2023 12:53:04 -0400, a ecrit:
> In the first version of this patch I mentioned that the following MiG change 
> is
> necessary too: [2]https://lists.gnu.org/archive/html/bug-hurd/2023-05/
> msg00288.html
> That should solve the problem.

Uh, that mail was litteraly lost in my inbox, right there, ~150 mails
below the top... Getting a look again.

Thanks!
Samuel

Reply via email to