fix more of #4890
authorChristian Grothoff <christian@grothoff.org>
Wed, 8 Mar 2017 14:05:40 +0000 (15:05 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 8 Mar 2017 14:05:40 +0000 (15:05 +0100)
commitbaffe75109684b28fbf814582984cc780ca93951
tree11c8f88a367b0c54e35b4e2a9bae099c60be14d0
parent831572e37e88c219e13d558d9abac23160a10741
fix more of #4890
src/arm/gnunet-arm.c