Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Oct 25, 2024

Just because there is currently no path to the RP doesn't mean it failed to add.


This is an automatic backport of pull request #17215 done by Mergify.

Just because there is currently no path to the RP doesn't mean it failed to add.

Signed-off-by: Nathan Bahr <nbahr@atcorp.com>
(cherry picked from commit 433fce6)
@frrbot frrbot bot added the pim label Oct 25, 2024
@donaldsharp donaldsharp merged commit 4309d91 into dev/10.2 Oct 25, 2024
14 checks passed
@Jafaral Jafaral deleted the mergify/bp/dev/10.2/pr-17215 branch March 10, 2025 03:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants