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.

Sign up for GitHub

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

Jump to bottom

Fixed labels to match the actual options #2914

Merged
merged 1 commit into from
Nov 13, 2023
Merged

Fixed labels to match the actual options #2914

merged 1 commit into from
Nov 13, 2023
+3 −3

Conversation

pankajparashar
Copy link
Contributor

@pankajparashar pankajparashar commented Nov 11, 2023 •
edited by github-actions bot
Loading

AB#47570678

@learn-build-service-prod Learn Build Service (PROD)
Copy link

Learn Build status updates of commit 7e83da2:

✅ Validation status: passed

File Status Preview URL Details
microsoft-edge/devtools-guide-chromium/network/index.md ✅Succeeded View

For more details, please refer to the build report.

For any questions, please:

@mikehoffms mikehoffms added the cat: devtools DevTools-related content. label Nov 12, 2023
captainbrosset
captainbrosset approved these changes Nov 13, 2023
View reviewed changes
Copy link
Contributor

@captainbrosset captainbrosset left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for finding and fixing this!

@captainbrosset captainbrosset merged commit 1eb58b9 into MicrosoftDocs:main Nov 13, 2023
@pankajparashar pankajparashar deleted the patch-4 branch December 8, 2023 08:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@captainbrosset captainbrosset

Assignees
No one assigned
Labels
cat: devtools DevTools-related content.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@pankajparashar @captainbrosset @mikehoffms