]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #15928 from FRRouting/mergify/bp/stable/8.4/pr-14245
authorDavid Lamparter <equinox@opensourcerouting.org>
Sun, 5 May 2024 17:10:47 +0000 (19:10 +0200)
committerGitHub <noreply@github.com>
Sun, 5 May 2024 17:10:47 +0000 (19:10 +0200)

Trivial merge