Release v10.0.1 master
This tag has no release notes.