Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Backport #11527 to branch/v9 #11635

Merged
merged 1 commit into from
Apr 1, 2022
Merged

Conversation

ptgott
Copy link
Contributor

@ptgott ptgott commented Mar 31, 2022

Backport #11527 to branch/v9

@ptgott ptgott force-pushed the auto-backport/11527-to-branch/v9 branch from bb757f2 to 71ee049 Compare March 31, 2022 21:42
@github-actions github-actions bot requested review from r0mant, xinding33 and zmb3 March 31, 2022 21:42
@ptgott ptgott enabled auto-merge (squash) April 1, 2022 19:37
The "Tabs" heading was mistakenly made an H3. This change makes it an
H2 so it appears in the table of contents.
@ptgott ptgott force-pushed the auto-backport/11527-to-branch/v9 branch from 71ee049 to ce262ba Compare April 1, 2022 19:37
@ptgott ptgott merged commit 5247467 into branch/v9 Apr 1, 2022
@ptgott ptgott deleted the auto-backport/11527-to-branch/v9 branch April 1, 2022 19:43
@webvictim webvictim mentioned this pull request Apr 19, 2022
@webvictim webvictim mentioned this pull request Jun 8, 2022
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.

4 participants