K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2012-07-30T12:47:27.617492Z
K 7
svn:log
V 96
Convert to the new options framework.

On the way update to the 20120729 snapshot of GCC 4.8.0.

END