K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2018-05-31T12:51:46.177705Z
K 7
svn:log
V 174
Prefer USE_GCC=yes over USE_GCC=6+.  As of today these two are equivalent,
but the former is more general and we try to avoid references to specific
versions where possible.

END