Release 8.0.1 (finally!)
This tag has no release notes.