Skip to content

Conversation

@xiexbing
Copy link
Contributor

@xiexbing xiexbing commented Jan 30, 2023

fix #2666

@xiexbing
Copy link
Contributor Author

sorry, I think I wrongly committed changes to another branch and create a new pull request #2764. I'll close this PR and please approve the new one intead. thanks

@xiexbing xiexbing closed this Jan 30, 2023
@xiexbing xiexbing deleted the bing/formatting-correction-engine branch January 30, 2023 21:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] some docs have broken formatting

3 participants