Merge tag 'v3.13-final' into maemo-port
authorThomas Jarosch <tomj@simonv.com>
Sun, 10 Mar 2013 10:13:24 +0000 (10 11:13 +0100)
committerThomas Jarosch <tomj@simonv.com>
Sun, 10 Mar 2013 10:13:24 +0000 (10 11:13 +0100)
Resolved conflicts by replacing all files
with the version from v3.13-final.

Conflicts:
tools/builds.pm
tools/release/bins.pl
tools/release/manuals.pl
tools/release/voices.pl

Change-Id: I1b0bc303c06b4132d4ae698ed59e868799fd5c8f


Trivial merge