]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12137 from opensourcerouting/fix/chown_touch
authorDonald Sharp <donaldsharp72@gmail.com>
Sun, 16 Oct 2022 19:20:05 +0000 (15:20 -0400)
committerGitHub <noreply@github.com>
Sun, 16 Oct 2022 19:20:05 +0000 (15:20 -0400)
tools: Use install instead of touch/chown combination


Trivial merge