]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #4888 from donaldsharp/rmap_cleanup
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Tue, 3 Sep 2019 14:42:51 +0000 (17:42 +0300)
committerGitHub <noreply@github.com>
Tue, 3 Sep 2019 14:42:51 +0000 (17:42 +0300)
Rmap cleanup


Trivial merge