Bugs fixed

The list of bugs fixed can be found in the release notes.