]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #10358 from idryzhov/workflow-pr-cleanup
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Tue, 18 Jan 2022 08:48:30 +0000 (10:48 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Jan 2022 08:48:30 +0000 (10:48 +0200)
doc: cleanup submitting patches and enhancements


Trivial merge