]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-enum' into 'master'
authorDmitry Baryshkov <dbaryshkov@gmail.com>
Mon, 15 Jun 2020 09:26:49 +0000 (09:26 +0000)
committerDmitry Baryshkov <dbaryshkov@gmail.com>
Mon, 15 Jun 2020 09:26:49 +0000 (09:26 +0000)
build: minor fixes

See merge request gnutls/gnutls!1287


Trivial merge