]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #9937 from Jafaral/rel-script
authorQuentin Young <qlyoung@users.noreply.github.com>
Mon, 13 Dec 2021 17:26:22 +0000 (12:26 -0500)
committerGitHub <noreply@github.com>
Mon, 13 Dec 2021 17:26:22 +0000 (12:26 -0500)

Trivial merge