Hi Gerald,
> 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.
thanks for the clarification. In this case, I was rather looking for
another pair of eyes to cross-check the text.
Btw., care to have a look at the docs part of
https://gcc.gnu.org/ml/gcc-patches/2014-05/msg01860.html
This is outside of my maintainerships, so I need approval here.
Thanks.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
