On 5/21/2022 4:10 AM, Julia Lawall wrote:> Spelling mistake (triple letters) in comment.> Detected with the help of Coccinelle.> > Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>Applied, thanks!--Florian