]> git.ipfire.org Git - thirdparty/mtr.git/commitdiff
Merge pull request #180 from kerolasa/pedantry
authorRoger Wolff <R.E.Wolff@BitWizard.nl>
Sat, 7 Jan 2017 12:01:13 +0000 (13:01 +0100)
committerGitHub <noreply@github.com>
Sat, 7 Jan 2017 12:01:13 +0000 (13:01 +0100)
couple maintenance changes


Trivial merge