Merge branch 'fix-guile-option' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Thu, 9 May 2019 08:50:26 +0000 (08:50 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Thu, 9 May 2019 08:50:26 +0000 (08:50 +0000)
commit9509af0e791b74538de8ffa8dd0d47c05cb08eed
treea605b396edca4361b29540af5b66a31c9e5a4861
parent664fc06c44301eb811a28b444f35dd8e3c688dea
parenta6617fdc9aa4f080e8aaed554926c4677cc303d4
Merge branch 'fix-guile-option' into 'master'

guile: Properly format guile configure options

See merge request gnutls/gnutls!991