]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #13276 from pguibert6WIND/explicit_null_complement
authorDonatas Abraitis <donatas@opensourcerouting.org>
Thu, 13 Apr 2023 05:56:04 +0000 (08:56 +0300)
committerGitHub <noreply@github.com>
Thu, 13 Apr 2023 05:56:04 +0000 (08:56 +0300)
Explicit null complement


Trivial merge