monnier pushed a change to tag 1.0.0. *** WARNING: tag 1.0.0 was deleted! ***
was 5998d42627 Version 1.0.0 The revisions that were on this tag are still contained in other references; therefore, this change does not discard any commits from the repository.