]> git.puffer.fish Git - mirror/frr.git/commitdiff
projects / mirror / frr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4230f85 232e8ef)
Merge pull request #13810 from chiragshah6/fdev2
authormobash-rasool <mrasool@vmware.com>
Tue, 20 Jun 2023 07:15:18 +0000 (12:45 +0530)
committerGitHub <noreply@github.com>
Tue, 20 Jun 2023 07:15:18 +0000 (12:45 +0530)
vrrpd: add priority field into interface json


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.