ports/175331: [PATCH] Many little spelling corrections to ports (and a Tool)

[Yuri]

On 01/15/2013 12:03, Chris Rees wrote:
> Christoph Mallon has submitted a patch that fixes several spelling
> errors thoroughout the ports tree, including one of mine:)

Double letters seem to be by far the major issue for ports.

Yuri