diff options
| author |   Mark Wright <gienah@gentoo.org> | 2014-01-15 08:13:28 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2014-01-15 08:13:28 +0000 |
| commit | a6c60b6ac0bc35503ed4180895044fd558cb8112 (patch) | |
| tree | 8d09acd2341c3059758862838e81c1f50f9e74ad /media-fonts/takao-fonts | |
| parent | Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI... (diff) | |
| download | gentoo-2-a6c60b6ac0bc35503ed4180895044fd558cb8112.tar.gz gentoo-2-a6c60b6ac0bc35503ed4180895044fd558cb8112.tar.bz2 gentoo-2-a6c60b6ac0bc35503ed4180895044fd558cb8112.zip | |
Bump to mlton-20130715, fixes bug 480750. Thanks to David Brown, jer and Jason Mours for testing and suggestions.
(Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'media-fonts/takao-fonts')
0 files changed, 0 insertions, 0 deletions