]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12225 from FRRouting/mergify/bp/dev/8.4/pr-12220
authorJafar Al-Gharaibeh <jafar@atcorp.com>
Sun, 30 Oct 2022 05:10:51 +0000 (00:10 -0500)
committerGitHub <noreply@github.com>
Sun, 30 Oct 2022 05:10:51 +0000 (00:10 -0500)
doc: Update with right default FPM server port (backport #12220)


Trivial merge