]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #10543 from FRRouting/mergify/bp/dev/8.2/pr-10511
authorDonald Sharp <donaldsharp72@gmail.com>
Wed, 9 Feb 2022 15:19:25 +0000 (10:19 -0500)
committerGitHub <noreply@github.com>
Wed, 9 Feb 2022 15:19:25 +0000 (10:19 -0500)
ospfd: fix loss of mixed form in "range" command (backport #10511)


Trivial merge