]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #4896 from donaldsharp/docker_dev_build
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Thu, 29 Aug 2019 07:15:52 +0000 (10:15 +0300)
committerGitHub <noreply@github.com>
Thu, 29 Aug 2019 07:15:52 +0000 (10:15 +0300)
tests: Modify docker build for local to have dev build


Trivial merge