Merge pull request #391 from dguglielmi/master
authorMoritz Warning <moritzwarning@web.de>
Thu, 12 Jul 2018 14:54:27 +0000 (16:54 +0200)
committerGitHub <noreply@github.com>
Thu, 12 Jul 2018 14:54:27 +0000 (16:54 +0200)
ndppd: bump to 0.2.5


Trivial merge