summaryrefslogtreecommitdiff
tag namerelease_8.3.3 (acf9cc742dd7d7cd0b1c8df5d18f30506decc597)
tag date2016-01-08 17:30:30 +0100
tagged byBastien <bzg@gnu.org>
tagged objectcommit 005f8b2fd1...
Adding release tag