K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2013-02-17T14:22:56.400905Z
K 7
svn:log
V 144
Replace the use of DISTFILES by DISTNAME, since we are now down to
one in all cases.

On the way, update to the 20130216 snapshot of GCC 4.7.3.

END