monnier pushed a change to tag 0.2. *** WARNING: tag 0.2 was deleted! ***
was a85bdc7b3c Bump version and slightly improve doc
The revisions that were on this tag are still contained in
other references; therefore, this change does not discard any commits
from the repository.
