[Bug 817255] highlighting-kate-0.5.1 is available

[Red Hat Bugzilla]

https://bugzilla.redhat.com/show_bug.cgi?id=817255

Fedora Update System  changed:

What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|RAWHIDE                     |ERRATA

--- Comment #5 from Fedora Update System  ---
pandoc-1.9.4.1-1.fc17, ghc-hakyll-3.2.7.2-3.fc17,
highlighting-kate-0.5.1-1.fc17, ghc-citeproc-hs-0.3.4-5.fc17,
ghc-pandoc-types-1.9.1-3.fc17, ghc-texmath-0.6.0.6-1.fc17 has been pushed to
the Fedora 17 stable repository.  If problems still persist, please make note
of it in this bug report.