On Tue, Dec 10, 2024 at 12:40 AM Samuel Thibault <samuel.thiba...@gnu.org> wrote: > Applied, thanks!
FWIW, I noticed that the last few commits from Damien have "Damien Zammit via Bug reports for the GNU Hurd <bug-hurd@gnu.org>" listed as the Git commit author. Sergey