]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-fix-guile-unused-var' into 'master'
authorDmitry Eremin-Solenikov <dbaryshkov@gmail.com>
Mon, 28 Jan 2019 12:46:41 +0000 (12:46 +0000)
committerDmitry Eremin-Solenikov <dbaryshkov@gmail.com>
Mon, 28 Jan 2019 12:46:41 +0000 (12:46 +0000)
Fix unused var warning in guile/src/core.c

See merge request gnutls/gnutls!895


Trivial merge