Merge branch 'channel_destroy' of ssh://git.gnunet.org/gnunet into channel_destroy
authorxrs <xrs@mail36.net>
Wed, 22 Jan 2020 17:32:27 +0000 (18:32 +0100)
committerxrs <xrs@mail36.net>
Wed, 22 Jan 2020 17:32:27 +0000 (18:32 +0100)

Trivial merge