summaryrefslogtreecommitdiff
tag namerelease_9.0.3 (0077eb073f27bcf77eeb0f21c4f5ce8ecb581e54)
tag date2016-12-24 12:24:11 +0100
tagged byBastien <bzg@gnu.org>
tagged objectcommit 820d1eb617...
Adding release tag