Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Jul 2, 2025

Fixes: #19102


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

Fixes: #19102

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
(cherry picked from commit 4cad692)
@Jafaral Jafaral merged commit 3ec4eb2 into dev/10.4 Jul 2, 2025
19 checks passed
@Jafaral Jafaral deleted the mergify/bp/dev/10.4/pr-19108 branch July 31, 2025 15:06
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