]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5d86d11 d9a3653)
Merge branch 'tmp-fix-libopts' into 'master'
authorDmitry Eremin-Solenikov <dbaryshkov@gmail.com>
Fri, 31 May 2019 17:55:37 +0000 (17:55 +0000)
committerDmitry Eremin-Solenikov <dbaryshkov@gmail.com>
Fri, 31 May 2019 17:55:37 +0000 (17:55 +0000)
Do not regenerate autogen files if --enable-local-libopts is given

Closes #772

See merge request gnutls/gnutls!1010


Trivial merge
Mirror of https://gitlab.com/gnutls/gnutls.git