From: Dmitry Baryshkov <dbaryshkov@gmail.com>
Date: Mon, 15 Jun 2020 09:26:49 +0000 (+0000)
Subject: Merge branch 'tmp-enum' into 'master'
X-Git-Tag: 3.7.0~19^2~50
X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=5c7ec5abb8947795b35b18a91eaaf097ebff4d06;p=thirdparty%2Fgnutls.git

Merge branch 'tmp-enum' into 'master'

build: minor fixes

See merge request gnutls/gnutls!1287
---

5c7ec5abb8947795b35b18a91eaaf097ebff4d06