summaryrefslogtreecommitdiff
tag namerelease_9.0 (8d79a44991c052cb0e83241abe02e4ecd2525ffd)
tag date2016-11-02 18:09:28 +0100
tagged byBastien <bzg@gnu.org>
tagged objectcommit c61ee8b82a...
Adding release tag