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

@JulienPalard JulienPalard commented Jun 3, 2019

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

LGTM

@JulienPalard
Copy link
Member Author

JulienPalard commented Jun 3, 2019

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

@bedevere-bot
Copy link

bedevere-bot commented Jun 15, 2019

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

@JulienPalard
Copy link
Member Author

JulienPalard commented Jun 15, 2019

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

@vstinner
Copy link
Member

vstinner commented Jun 15, 2019

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

@JulienPalard JulienPalard deleted the bump-sphinx-version branch Jun 16, 2019
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.

None yet

5 participants