]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #10208 from adrianomarto/master
authorRuss White <russ@riw.us>
Wed, 5 Jan 2022 15:10:23 +0000 (10:10 -0500)
committerGitHub <noreply@github.com>
Wed, 5 Jan 2022 15:10:23 +0000 (10:10 -0500)
Babel configuration parameter fixes


Trivial merge