]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #5168 from donaldsharp/dev_workflow
authorMartin Winter <mwinter@opensourcerouting.org>
Fri, 1 Nov 2019 14:09:00 +0000 (10:09 -0400)
committerGitHub <noreply@github.com>
Fri, 1 Nov 2019 14:09:00 +0000 (10:09 -0400)
doc: Update documentation to talk about development branches


Trivial merge