K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2012-06-19T22:50:45.000000Z
K 7
svn:log
V 123
Update to the 20120616 snapshot of GCC 4.7.2, very close to the GCC 4.7.1
release.

Fix a portlint warning (tab vs space).

END