On 17/02/2020 15:36, Daniel Gustafsson wrote: > When applying the recent "the the" comment fixup to downstream docs I happened > to notice other cases of duplicated words in comments. The attached trivial > diff removes the few that I came across (the last one was perhaps correct but > if so seemed strange to a non-native speaker).
These changes look good to me. -- Vik Fearing
