Ricardo Wurmus, le jeu. 16 avril 2020 22:21:43 +0200, a ecrit:
> * doc/mach.texi (Features): Add missing word.
Applied, thanks!
> ---
> doc/mach.texi | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/doc/mach.texi b/doc/mach.texi
> index 07cb0ad1..dcf0f93c 100644
> --- a/
* doc/mach.texi (Features): Add missing word.
---
doc/mach.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/mach.texi b/doc/mach.texi
index 07cb0ad1..dcf0f93c 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -374,7 +374,7 @@ IPC, currently not available in GNU Mach).
