Skip to content

Conversation

@mergify
Copy link

@mergify mergify bot commented Oct 2, 2024

so that products that build on top could adjust
what's printed in the startup banner.

References #12390


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

so that products that build on top could adjust
what's printed in the standard banner.

References #12390

(cherry picked from commit 1f98ab6)
(cherry picked from commit 9c6db87)
@michaelklishin michaelklishin added this to the 3.13.8 milestone Oct 2, 2024
@michaelklishin michaelklishin merged commit da8adf5 into v3.13.x Oct 2, 2024
226 checks passed
@michaelklishin michaelklishin deleted the mergify/bp/v3.13.x/pr-12419 branch October 2, 2024 15:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants