Tagging 0.3.80
This tag has no release notes.