https://bugzilla.redhat.com/show_bug.cgi?id=833706
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA
--- Comment #3 from Fedora Update System updates@fedoraproject.org --- Package leksah-0.12.1.2-1.fc17, leksah-server-0.12.1.2-1.fc17, ghc-ltk-0.12.1.0-2.fc17: * should fix your issue, * was pushed to the Fedora 17 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing leksah-0.12.1.2-1.fc17 leksah-server-0.12.1.2-1.fc17 ghc-ltk-0.12.1.0-2.fc17' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2012-9885/leksah-0.12.1.2-1.f... then log in and leave karma (feedback).