]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #1822 from opensourcerouting/stable-3.0-fix-buffer-flush-avail
authorQuentin Young <qlyoung@users.noreply.github.com>
Mon, 5 Mar 2018 22:13:44 +0000 (17:13 -0500)
committerGitHub <noreply@github.com>
Mon, 5 Mar 2018 22:13:44 +0000 (17:13 -0500)
stable/3.0 fix for #1803


Trivial merge