K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2014-09-20T17:06:46.679436Z
K 7
svn:log
V 67
Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes.

END