fix #5608
authorChristian Grothoff <christian@grothoff.org>
Mon, 25 Feb 2019 21:04:04 +0000 (22:04 +0100)
committerChristian Grothoff <christian@grothoff.org>
Mon, 25 Feb 2019 21:04:04 +0000 (22:04 +0100)
commit4b72d1fe12c340fc0f53c42309e9789bcb1d831f
treed024de6edef3f85f3d7739c35e8e4d1a7a74850e
parent3cb49e832b2f4237bfb895720b4d3c3dbcf881e5
fix #5608
src/set/gnunet-service-set.c