K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2013-06-02T19:13:51.859124Z
K 7
svn:log
V 143
When bootstrapping, which is not the default for this GCC port, use
bootstrap-lean instead of default/vanilla bootstrap to save on disk
space.

END