Merge branch 'channel_destroy' of ssh://git.gnunet.org/gnunet into channel_destroy
authorxrs <xrs@mail36.net>
Wed, 22 Jan 2020 20:43:25 +0000 (21:43 +0100)
committerxrs <xrs@mail36.net>
Wed, 22 Jan 2020 20:43:25 +0000 (21:43 +0100)

Trivial merge