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.

Reply via email to