Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Oct 10, 2024


This is an automatic backport of pull request #17054 done by [Mergify](https://mergify.com).

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
(cherry picked from commit f57a56b)
@frrbot frrbot bot added the tools label Oct 10, 2024
@ton31337 ton31337 merged commit 235ee0c into dev/10.2 Oct 10, 2024
14 checks passed
@ton31337 ton31337 deleted the mergify/bp/dev/10.2/pr-17054 branch October 10, 2024 16:10
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.

1 participant