This is an automated email from the git hooks/post-receive script. git pushed a change to annotated tag v1.8.0-alpha2 in repository terminology.
*** WARNING: tag v1.8.0-alpha2 was deleted! *** tag was dc0fc76 The revisions that were on this annotated tag are still contained in other references; therefore, this change does not discard any commits from the repository. -- To stop receiving notification emails like this one, please contact the administrator of this repository.
