]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #7183 from oerdnj/master
authorOndřej Surý <ondrej@sury.org>
Sat, 26 Sep 2020 12:59:10 +0000 (14:59 +0200)
committerGitHub <noreply@github.com>
Sat, 26 Sep 2020 12:59:10 +0000 (14:59 +0200)
Update the Debian packaging (sync with debian/master branch)


Trivial merge