Hi Davide, On 3/3/22 15:08, Davide Benini wrote: > --- Patch applied. Thanks, Alex > man2/futex.2 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man2/futex.2 b/man2/futex.2 > index 1dd77ac2f..d2a99b2d3 100644 > --- a/man2/futex.2 > +++ b/man2/futex.2 > @@ -1854,7 +1854,7 @@ fwait(uint32_t *futexp) > } > > /* Release the futex pointed to by \(aqfutexp\(aq: if the futex currently > - has the value 0, set its value to 1 and the wake any futex waiters, > + has the value 0, set its value to 1 and then wake any futex waiters, > so that if the peer is blocked in fwait(), it can proceed. */ > > static void -- Alejandro Colomar Linux man-pages comaintainer; https://www.kernel.org/doc/man-pages/ http://www.alejandro-colomar.es/