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 ...
Best regards,
- Mikko Korpela
Typo in grep.Rd
2 messages · Korpela Mikko (MML), Martin Maechler
1 day later
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