K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2015-11-09T10:50:46.436286Z
K 7
svn:log
V 112
Adjust GCC_DESC to match the current situation (and be more resilient
to changes around USE_GCC going forward).

END