]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #7187 from idryzhov/fix-configure
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Mon, 28 Sep 2020 01:07:42 +0000 (22:07 -0300)
committerGitHub <noreply@github.com>
Mon, 28 Sep 2020 01:07:42 +0000 (22:07 -0300)
build: remove redundant commas


Trivial merge