Tagging 3.80.0
This tag has no release notes.