]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #16030 from FRRouting/mergify/bp/stable/10.0/pr-15711
authorDonald Sharp <donaldsharp72@gmail.com>
Fri, 17 May 2024 15:49:00 +0000 (11:49 -0400)
committerGitHub <noreply@github.com>
Fri, 17 May 2024 15:49:00 +0000 (11:49 -0400)
topotests: do not check table version (backport #15711)


Trivial merge