Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Feb 5, 2024

Use "r" (raw) strings for the regexp.

Signed-off-by: Jeff Squyres [email protected]
(cherry picked from commit 208dabe)

This is the v5.0.x version of main PR #12311

@wenduwan
Copy link
Contributor

wenduwan commented Feb 5, 2024

Will merge after 5.0.2 release.

@wenduwan
Copy link
Contributor

wenduwan commented Feb 7, 2024

@jsquyres Could you please fix the conflict?

@jsquyres
Copy link
Member Author

jsquyres commented Feb 7, 2024

@jsquyres Could you please fix the conflict?

What conflict?

Use "r" (raw) strings for the regexp.

Signed-off-by: Jeff Squyres <[email protected]>
(cherry picked from commit 208dabe)
@wenduwan wenduwan force-pushed the pr/v5.0.x/update-sphinx-conf-py branch from 04c6454 to 73b26b0 Compare February 8, 2024 00:20
@wenduwan
Copy link
Contributor

wenduwan commented Feb 8, 2024

Github complains your branch is out-of-date - I clicked rebase just now. I think it should work.

@wenduwan wenduwan merged commit 0174ec8 into open-mpi:v5.0.x Feb 8, 2024
@jsquyres jsquyres deleted the pr/v5.0.x/update-sphinx-conf-py branch February 8, 2024 19:48
@jsquyres
Copy link
Member Author

jsquyres commented Feb 8, 2024

@wenduwan There was no conflict. Being out-of-date was not a problem in this case.

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.

2 participants