Description of problem:
Fedora Core Development currently has 4.1.12, but 4.1.13 is the latest stable
version of MySQL.
Version-Release number of selected component (if applicable):
mysql-4.1.12-2
Actual results / Expected results:
Upgrade to 4.1.13 ;-)