Release Checklist

The following checklist should be pasted in the pull request to master.

Changelog up to date?
Documentation up to date?
All tests passed?
VERSION file set to right version? (Without dev?)
Release notes written? (Should also be in the changelog.)