For the record, this issue is now fixed upstream: https://git.savannah.gnu.org/cgit/hurd/hurd.git/commit/?id=029ab7d7b38c76ba14c24fcbf526ccef29af9e88 https://lists.gnu.org/archive/html/bug-hurd/2025-05/msg00016.html
Closing! Ludo’.
For the record, this issue is now fixed upstream: https://git.savannah.gnu.org/cgit/hurd/hurd.git/commit/?id=029ab7d7b38c76ba14c24fcbf526ccef29af9e88 https://lists.gnu.org/archive/html/bug-hurd/2025-05/msg00016.html
Closing! Ludo’.