remove dead statistic
authorChristian Grothoff <christian@grothoff.org>
Sun, 13 May 2018 09:52:54 +0000 (11:52 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sun, 13 May 2018 09:52:54 +0000 (11:52 +0200)
commit75d4229ca938a8584bff5a44a607dcb56e8462c8
tree581f54afe1c17ed835df92495544bce203ab52e7
parent1828e49836886f5647b6614a1521b6073351dad1
remove dead statistic
src/zonemaster/gnunet-service-zonemaster.c