I did a test install of Fedora 19 on a spare machine and discovered that MySQL is no longer part of the Distro being replaced by MariaDB.