]> git.puffer.fish Git - mirror/frr.git/commit
Merge pull request #6803 from donaldsharp/coverity_moo_moo
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Mon, 27 Jul 2020 14:20:51 +0000 (17:20 +0300)
committerGitHub <noreply@github.com>
Mon, 27 Jul 2020 14:20:51 +0000 (17:20 +0300)
commitdb8a7160daedd31f22c3380c9c7e579b3a2d3449
tree6c455a3ebe0a8a22abf9087d7b46b6c0f984bb1b
parent6c4b304f3359131750aec5b07d469e735eaad855
parent5f140efeeffdd9951456701b78a70a71b879be5a
Merge pull request #6803 from donaldsharp/coverity_moo_moo

Coverity code cleanup