On Sun, Jun 18, 2023 at 10:58:43PM +0800, [email protected] wrote: > > Delete duplicated word in comment. > > Signed-off-by: Zhu Mao <[email protected]> > ---
Applied and pushed, next time please consider sending a slew of typo fixes, just one word is a bit too much trouble for just one patch. Luis
