1.5.14 was released on July 30.
The following Joomla! 1.5.13 bugs have been fixed.
- Fixed error message in Media Manager (17319)
- Fixed callback error message in TinyMCE casino online editor (17323)
Joomla! 1.5.13 was released on July 23, just a week ago. Joomla! 1.5.14 seems to be the urgent fix.