On Tue, 27 May 2014, Mike Stump wrote: > So, I read the doc bits, and they look fine. I’m not a doc reviewer, > but, the changes are usual and customary for a port, and trivial.
Yes, and I'd like to emphasize this point: Just because a file matches *.texi doesn't mean that ports, middle, front, whatever end maintainers cannot and should not just make changes there without requiring explicit doc approval. Gerald
