Push to properly deploy last change to themes.
This tag has no release notes.