]> git.proxmox.com Git - mirror_kronosnet.git/commitdiff
Merge pull request #177 from jnpkrn/misc
authorFabio M. Di Nitto <fdinitto@redhat.com>
Mon, 3 Dec 2018 13:14:27 +0000 (14:14 +0100)
committerGitHub <noreply@github.com>
Mon, 3 Dec 2018 13:14:27 +0000 (14:14 +0100)
[misc] fix a few typos/stylistics + thinko in a prototype code


Trivial merge