Merge commit 'f96d07f4ec4193fb5293d7ac8f1324aac3c3ea07'
authorClément Bœsch <u@pkh.me>
Fri, 19 May 2017 10:01:43 +0000 (12:01 +0200)
committerClément Bœsch <u@pkh.me>
Fri, 19 May 2017 10:01:43 +0000 (12:01 +0200)
* commit 'f96d07f4ec4193fb5293d7ac8f1324aac3c3ea07':
  configure: Add quotes around a variable which might be empty

Merged-by: Clément Bœsch <u@pkh.me>
1  2 
configure

diff --cc configure
Simple merge