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


Trivial merge