K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2016-06-19T12:16:02.784666Z
K 7
svn:log
V 51
Replace USE_GCC=4.9 by the preferred USE_GCC=4.9+.

END