]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #10852 from mjstapp/fix_lib_distclean
authorDavid Lamparter <equinox@opensourcerouting.org>
Fri, 25 Mar 2022 05:03:10 +0000 (06:03 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Mar 2022 05:03:10 +0000 (06:03 +0100)

Trivial merge