]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #16114 from FRRouting/mergify/bp/stable/8.5/pr-13783
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 31 May 2024 13:11:24 +0000 (16:11 +0300)
committerGitHub <noreply@github.com>
Fri, 31 May 2024 13:11:24 +0000 (16:11 +0300)
GCC13 nits (backport #13783)


Trivial merge