Release 0.5.1 - Release Notes
Release 0.5.1 is a bug-fix release; it does not add any new features.
All the known bugs in 0.5 listed here
are fixed in release 0.5.1. There are a few bugs in 0.5 which have not
been fixed in 0.5.1, mostly problems with the profiler. These bugs will
all be fixed in the next release.