]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #13795 from LabNConsulting/chopps/mgmt-lock-cleanup
authorJafar Al-Gharaibeh <jafar@atcorp.com>
Thu, 22 Jun 2023 18:31:27 +0000 (13:31 -0500)
committerGitHub <noreply@github.com>
Thu, 22 Jun 2023 18:31:27 +0000 (13:31 -0500)
mgmt lock simplification


Trivial merge