K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2016-05-28T14:15:01.932812Z
K 7
svn:log
V 54
Replace USE_GCC=4.8+ by the more general USE_GCC=yes.

END