]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #8518 from idryzhov/7.5-debian-10-ci
authorDonald Sharp <sharpd@cumulusnetworks.com>
Tue, 20 Apr 2021 12:41:20 +0000 (08:41 -0400)
committerGitHub <noreply@github.com>
Tue, 20 Apr 2021 12:41:20 +0000 (08:41 -0400)
[7.5] fix debian 10 ci


Trivial merge