fix out-of-tree build of GNUnet
authorChristian Grothoff <christian@grothoff.org>
Fri, 11 Nov 2016 15:01:24 +0000 (16:01 +0100)
committerChristian Grothoff <christian@grothoff.org>
Fri, 11 Nov 2016 15:01:29 +0000 (16:01 +0100)

Trivial merge