0.7.2 out now

The latest 0.7 needed 2 bugfix releases, which are out now. The recycling of prefixes got fixed as well as treatment of MySQL errors.

Get it as always at /download.