This is an automated email from the git hooks/post-receive script. thomas pushed a change to annotated tag 0.1 in repository archiso.
*** WARNING: tag 0.1 was deleted! *** tag was 797c251 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.
