0.7.4 release

This is the pull request of the release branch for 0.7.4. Please do not merge
this (I will do it).