K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2018-06-20T18:49:52.797646Z
K 7
svn:log
V 130
- Update MASTER_SITES and DISTNAME.  The previous URLs do not work any more.
- Update extra fonts to synchronize with core fonts.

END