Release notes 1.5.1

This is a bugfix release, no new features since 1.5.0 were added.

Changelog

Compared to the latest release 1.5.0, the following bugfixes were added.

Bugfixes

This is a complete list of the merged pull requests, including the fixed bugs.