Re: [PATCH hurd 11/11] pfinet: fix type alias

Applied, thanks! Flavio Cruz, le ven. 29 déc. 2023 16:21:05 -0500, a ecrit: > --- > pfinet/stubs.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/pfinet/stubs.c b/pfinet/stubs.c > index 9affcff..01ba2fa 100644 > --- a/pfinet/stubs.c > +++ b/pfinet/stubs.c > @@ -50,7 +50

[PATCH hurd 11/11] pfinet: fix type alias

--- pfinet/stubs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pfinet/stubs.c b/pfinet/stubs.c index 9affcff..01ba2fa 100644 --- a/pfinet/stubs.c +++ b/pfinet/stubs.c @@ -50,7 +50,7 @@ void dev_activate (struct device *) __attribute__ ((alias ("dev_init_scheduler")));