]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #7923 from donaldsharp/gcc10-cleanups
authorMark Stapp <mjs@voltanet.io>
Mon, 25 Jan 2021 17:30:52 +0000 (12:30 -0500)
committerGitHub <noreply@github.com>
Mon, 25 Jan 2021 17:30:52 +0000 (12:30 -0500)
Gcc10 cleanups


Trivial merge