Re: [PATCH ?] gnu: Add dash.

[Ludovic Courtès]

Tobias Geerinckx-Rice <m...@tobias.gr> skribis:

> Otherwise, I'll push it soon with the suggested changes.

Fine with me!

Thanks,
Ludo’.