summaryrefslogtreecommitdiff
tag namerelease_8.3.1 (73bc3a688fd20433df7d0af9e6925af743d199c2)
tag date2015-08-05 13:29:30 +0200
tagged byBastien <bzg@gnu.org>
tagged objectcommit 003a0f1069...
Adding minor release tag