Merge branch 'fix_social' of gnunet.org:gnunet into fix_social
authort3sserakt <t3ss@posteo.de>
Tue, 14 Nov 2017 12:19:39 +0000 (13:19 +0100)
committert3sserakt <t3ss@posteo.de>
Tue, 14 Nov 2017 12:19:39 +0000 (13:19 +0100)

Trivial merge