]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12363 from opensourcerouting/feature/add_size_label_github
authorDonald Sharp <donaldsharp72@gmail.com>
Mon, 28 Nov 2022 12:48:52 +0000 (07:48 -0500)
committerGitHub <noreply@github.com>
Mon, 28 Nov 2022 12:48:52 +0000 (07:48 -0500)
github: Create size label for every PR


Trivial merge