Re: [PATCH glibc] Enable new device_open_new RPC in libmachuser.

Applied, thanks! Flavio Cruz, le dim. 07 mai 2023 13:13:23 -0400, a ecrit: > --- > mach/Makefile | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/mach/Makefile b/mach/Makefile > index a5d1252f95..2c09c29406 100644 > --- a/mach/Makefile > +++ b/mach/Makefile > @@ -123,7

[PATCH glibc] Enable new device_open_new RPC in libmachuser.

--- mach/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mach/Makefile b/mach/Makefile index a5d1252f95..2c09c29406 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -123,7 +123,8 @@ user-interfaces := $(filter-out $(mach-interface-list:%=mach/%) \ endif # For s