Skip to content

Follow-up to #37398#37547

Merged
tavplubix merged 1 commit intomasterfrom
followup_37398
May 26, 2022
Merged

Follow-up to #37398#37547
tavplubix merged 1 commit intomasterfrom
followup_37398

Conversation

@robot-ch-test-poll robot-ch-test-poll added the pr-not-for-changelog This PR should not be mentioned in the changelog label May 25, 2022
@tavplubix tavplubix merged commit eb71dd4 into master May 26, 2022
@tavplubix tavplubix deleted the followup_37398 branch May 26, 2022 17:29
@tavplubix tavplubix restored the followup_37398 branch July 1, 2022 11:47
@tavplubix tavplubix deleted the followup_37398 branch July 8, 2022 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-not-for-changelog This PR should not be mentioned in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants