>>>>> Korpela Mikko (MML)
>>>>> on Sat, 8 Dec 2018 17:43:05 +0000 writes:
> There is a small typo in file 'src/library/base/man/grep.Rd'.
> Current text:
> ## collation order is aAbBcCdEe ...
> Suggested text ("D" instead of "E"):
> ## collation order is aAbBcCdDe ...
Indeed, now fixed. Thank you Mikko!
Martin