Just a day after the release of Joomla 1.5.19 with Mootools 1.2.4 support, the Joomla project announced another update: 1.5.20.
Apparently, there were some issues with 1.5.19. These have been adressed in this release.
As 1.5.20 is a security release, upgrade is adviced for all users.