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

Doc: Bump Sphinx version. #13785

Merged
merged 1 commit into from
Jun 15, 2019
Merged

Conversation

JulienPalard
Copy link
Member

To reflect the one we're using in production.

To reflect the one we're using in production.
@JulienPalard JulienPalard changed the title Doc: Bump Sphinx verison. Doc: Bump Sphinx version. Jun 3, 2019
@vstinner
Copy link
Member

vstinner commented Jun 3, 2019

Can this change wait after beta1 release?

Copy link
Member

@ned-deily ned-deily left a comment

Choose a reason for hiding this comment

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

LGTM

@JulienPalard
Copy link
Member Author

@vstinner you mean after the 3.8 cutoff? Yes we can wait.

@bedevere-bot
Copy link

@JulienPalard: Please replace # with GH- in the commit message next time. Thanks!

@JulienPalard
Copy link
Member Author

@bedevere-bot I'm not proud of this one :]

@vstinner
Copy link
Member

@JulienPalard: you know that you are talking to a bot, right ;-)

@JulienPalard JulienPalard deleted the bump-sphinx-version branch June 16, 2019 14:02
lisroach pushed a commit to lisroach/cpython that referenced this pull request Sep 10, 2019
To reflect the one we're using in production.
DinoV pushed a commit to DinoV/cpython that referenced this pull request Jan 14, 2020
To reflect the one we're using in production.
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.

5 participants