Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Oct 16, 2024

For some reason this was missing.


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

For some reason this was missing.

Signed-off-by: Donald Sharp <sharpd@nvidia.com>
(cherry picked from commit c8a947e)
@frrbot frrbot bot added the tests Topotests, make check, etc label Oct 16, 2024
@donaldsharp donaldsharp merged commit eb83a1f into dev/10.2 Oct 16, 2024
14 checks passed
@ton31337 ton31337 deleted the mergify/bp/dev/10.2/pr-17107 branch October 25, 2024 10:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dev/10.2 size/XS tests Topotests, make check, etc
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant