]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-fix-tags' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Tue, 19 Jun 2018 07:39:32 +0000 (07:39 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Tue, 19 Jun 2018 07:39:32 +0000 (07:39 +0000)
Makefile.am: abi-check: fetch fresh tags

See merge request gnutls/gnutls!668


Trivial merge