]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge commit '97cfd5d207e46a027809125cfb356fd301af0cf5'
authorDavid Lamparter <equinox@diac24.net>
Mon, 4 May 2020 19:02:13 +0000 (21:02 +0200)
committerDavid Lamparter <equinox@diac24.net>
Mon, 4 May 2020 19:02:13 +0000 (21:02 +0200)
(from PR #6137)


Trivial merge