Release 8.0.2 (at long last!)
This tag has no release notes.