K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2020-02-24T08:50:45.981508Z
K 7
svn:log
V 107
Replace USE_GCC=8+ by the (currently) equivalent USE_GCC=yes which is
the generally more preferrable form.

END