RFC: manual/contrib.texi

[Maciej W. Rozycki]

On Sat, 19 May 2012, Andreas Jaeger wrote:

> Brendan Kehoe for contributing the port to the MIPS DECStation running
> Ultrix 4 (@code{mips-dec-ultrix4}) and the port to the DEC Alpha
> running OSF/1 (@code{alpha-dec-osf1}).

 May I ask that you take the opportunity and correct the capitalisation of 
"DECstation" as well?  I will certainly appreciate that and I can't do 
that myself as I have no write access to the repository.  Thanks.

  Maciej