Hello!

Janneke Nieuwenhuizen <jann...@gnu.org> skribis:

> That's great, thanks!  Using this now on my current wip-hurd and it's
> working for me!

Awesome, pushed as 48c7e71cd7c3690203d4a8961a651cae090af83f!

Ludo’.



Reply via email to