MySQL 4.0.13 out

MySQL 4.0.13 has been released. I’m compiling it as I type this. There haven’t been any major changes in this release, so there’s really not much to say about it.