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