]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'guile' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 10 Apr 2019 08:35:14 +0000 (08:35 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 10 Apr 2019 08:35:14 +0000 (08:35 +0000)
build: allow override guile system location

Closes #748

See merge request gnutls/gnutls!968


Trivial merge